diff options
Diffstat (limited to 'test/files/run/constrained-types.check')
-rw-r--r-- | test/files/run/constrained-types.check | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/run/constrained-types.check b/test/files/run/constrained-types.check index 8050017659..dbad841d99 100644 --- a/test/files/run/constrained-types.check +++ b/test/files/run/constrained-types.check @@ -92,8 +92,8 @@ def m = { val x = "three" val y : String @Annot(x) = x y -} // x should be existentially bound -m: java.lang.String @Annot(x) forSome { val x: java.lang.String } +} // x should not escape the local scope with a narrow type +m: String @Annot("three") ----- def n(y: String) = { |