summaryrefslogtreecommitdiff
path: root/test/files/run/constrained-types.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/run/constrained-types.scala')
-rw-r--r--test/files/run/constrained-types.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/run/constrained-types.scala b/test/files/run/constrained-types.scala
index c03c144ad1..62abfe9e31 100644
--- a/test/files/run/constrained-types.scala
+++ b/test/files/run/constrained-types.scala
@@ -61,7 +61,7 @@ object Test {
| val x = "three"
| val y : String @Annot(x) = x
| y
- |} // x should be existentially bound""",
+ |} // x should not escape the local scope with a narrow type""",
"""def n(y: String) = {
| def m(x: String) : String @Annot(x) = {