diff options
Diffstat (limited to 'test/files/run')
| -rw-r--r-- | test/files/run/constrained-types.check | 4 | ||||
| -rw-r--r-- | test/files/run/constrained-types.scala | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/test/files/run/constrained-types.check b/test/files/run/constrained-types.check index cc00a7c46b..8050017659 100644 --- a/test/files/run/constrained-types.check +++ b/test/files/run/constrained-types.check @@ -52,8 +52,8 @@ val y = b.y // should keep the annotation y: Int @Annot(Stuff.x) = 10 ----- -def m(x: String): String @Annot(x) = x // m should be annotated with a debruijn -m: (x$0:String)String @Annot(x) +def m(x: String): String @Annot(x) = x +m: (x: String)String @Annot(x) ----- val three = "three" diff --git a/test/files/run/constrained-types.scala b/test/files/run/constrained-types.scala index 59fd0b1b8c..c03c144ad1 100644 --- a/test/files/run/constrained-types.scala +++ b/test/files/run/constrained-types.scala @@ -45,7 +45,7 @@ object Test { "val y = b.y // should keep the annotation", - "def m(x: String): String @Annot(x) = x // m should be annotated with a debruijn", + "def m(x: String): String @Annot(x) = x", "val three = \"three\"", "val three2 = m(three:three.type) // should change x to three", "var four = \"four\"", |