aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/subtyping.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pos/subtyping.scala')
-rw-r--r--tests/pos/subtyping.scala29
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
}
-
-