diff options
Diffstat (limited to 'test/files/run/constrained-types.check')
| -rw-r--r-- | test/files/run/constrained-types.check | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/files/run/constrained-types.check b/test/files/run/constrained-types.check index d3c32b7a02..6ab12ad34c 100644 --- a/test/files/run/constrained-types.check +++ b/test/files/run/constrained-types.check @@ -69,11 +69,11 @@ four: java.lang.String = four ----- val four2 = m(four) // should have an existential bound -four2: String @Annot(x) forSome { val x: java.lang.String } = four +four2: java.lang.String @Annot(x) forSome { val x: java.lang.String } = four ----- val four3 = four2 // should have the same type as four2 -four3: String @Annot(x) forSome { val x: java.lang.String } = four +four3: java.lang.String @Annot(x) forSome { val x: java.lang.String } = four ----- val stuff = m("stuff") // should not crash @@ -93,7 +93,7 @@ def m = { val y : String @Annot(x) = x y } // x should be existentially bound -m: String @Annot(x) forSome { val x: java.lang.String } +m: java.lang.String @Annot(x) forSome { val x: java.lang.String } ----- def n(y: String) = { @@ -105,7 +105,7 @@ def n(y: String) = { } m("stuff".stripMargin) } // x should be existentially bound -n: (String)String @Annot(x) forSome { val x: String } +n: (String)java.lang.String @Annot(x) forSome { val x: String } ----- class rep extends Annotation |