diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-27 12:46:48 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-02-07 17:31:53 +0100 |
| commit | 1f8b5691dabaae336c3c3f568b303eb24e783494 (patch) | |
| tree | 7546b2148b5863e2e0070122ffc6d67eacf9edf4 /tests/pos/subtyping.scala | |
| parent | 4320e20ff5f3126940f0ecad1dd53573cf03562b (diff) | |
| download | dotty-1f8b5691dabaae336c3c3f568b303eb24e783494.tar.gz dotty-1f8b5691dabaae336c3c3f568b303eb24e783494.tar.bz2 dotty-1f8b5691dabaae336c3c3f568b303eb24e783494.zip | |
Test reorg
Diffstat (limited to 'tests/pos/subtyping.scala')
| -rw-r--r-- | tests/pos/subtyping.scala | 29 |
1 files changed, 1 insertions, 28 deletions
diff --git a/tests/pos/subtyping.scala b/tests/pos/subtyping.scala index 29d830dd2..e65bdd16f 100644 --- a/tests/pos/subtyping.scala +++ b/tests/pos/subtyping.scala @@ -1,32 +1,5 @@ -class A { - def test1(): Unit = { - implicitly[this.type <:< this.type] - implicitly[this.type <:< A] - } -} object test { - def tag1[T](x: T): String & T = ??? - def tag2[T](x: T): T & String = ??? - - val x1: Int & String = tag1(0) - val x2: Int & String = tag2(0) - val x3: String & Int = tag1(0) - val x4: String & Int = tag2(0) - -} - -object test2 { - - class A - class B - - val x: A | B = ??? - val y: B | A = x - - val a: A & B = ??? - val b: B & A = a + val x: Int = 1 } - - |