diff options
author | Martin Odersky <odersky@gmail.com> | 2014-11-18 15:26:07 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-11-18 15:26:07 +0100 |
commit | 5c5ec48cfa5fb9c43582406ec10100c97016f5f1 (patch) | |
tree | be90da583fa9db27d7ed21af0709179f81994d80 /tests | |
parent | 3c43871ed5acec9315f84e3a481adbaf5fb24897 (diff) | |
download | dotty-5c5ec48cfa5fb9c43582406ec10100c97016f5f1.tar.gz dotty-5c5ec48cfa5fb9c43582406ec10100c97016f5f1.tar.bz2 dotty-5c5ec48cfa5fb9c43582406ec10100c97016f5f1.zip |
Restored accidentally deleted test code.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/subtyping.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/pos/subtyping.scala b/tests/pos/subtyping.scala index c8d7a82a9..e8acb842c 100644 --- a/tests/pos/subtyping.scala +++ b/tests/pos/subtyping.scala @@ -1,3 +1,9 @@ +class A { + def test1(): Unit = { + implicitly[this.type <:< this.type] + implicitly[this.type <:< A] + } +} object test { class B |