diff options
| author | odersky <odersky@gmail.com> | 2015-02-07 18:03:01 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-02-07 18:03:01 +0100 |
| commit | 9641b2a417f203b5c2e88e6330b2230713471307 (patch) | |
| tree | 7509a675738c13a428d2ecb5a371d242213a4849 /tests/pos/subtyping.scala | |
| parent | 329b6bfa9929c984b40368a1cc5f2f8cdc15b6c8 (diff) | |
| parent | 976ed6fd0aa4f0dd3da54889c4d85ef856f6531f (diff) | |
| download | dotty-9641b2a417f203b5c2e88e6330b2230713471307.tar.gz dotty-9641b2a417f203b5c2e88e6330b2230713471307.tar.bz2 dotty-9641b2a417f203b5c2e88e6330b2230713471307.zip | |
Merge pull request #339 from dotty-staging/fix/#329-and-others
Fix/#329 and others
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 } - - |