diff options
author | Martin Odersky <odersky@gmail.com> | 2012-04-13 15:47:39 -0700 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2012-04-13 16:20:24 -0700 |
commit | b5757577c520e6339e4278fa91f725e66561f73e (patch) | |
tree | 387943eb2f4cff92aa222fbb1ad19965a446693a /test/files/run/constrained-types.check | |
parent | 3324a7215c87c61791f3e4afb49bc63cf9c80f12 (diff) | |
download | scala-b5757577c520e6339e4278fa91f725e66561f73e.tar.gz scala-b5757577c520e6339e4278fa91f725e66561f73e.tar.bz2 scala-b5757577c520e6339e4278fa91f725e66561f73e.zip |
Fixed tests to account for SIP 18
Diffstat (limited to 'test/files/run/constrained-types.check')
-rw-r--r-- | test/files/run/constrained-types.check | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/run/constrained-types.check b/test/files/run/constrained-types.check index ac8817cb08..37784a20ca 100644 --- a/test/files/run/constrained-types.check +++ b/test/files/run/constrained-types.check @@ -75,9 +75,13 @@ scala> var four = "four" four: String = four scala> val four2 = m(four) // should have an existential bound +warning: there were 1 feature warnings; re-run with -feature for details +warning: there were 1 feature warnings; re-run with -feature for details four2: String @Annot(x) forSome { val x: String } = four scala> val four3 = four2 // should have the same type as four2 +warning: there were 1 feature warnings; re-run with -feature for details +warning: there were 1 feature warnings; re-run with -feature for details four3: String @Annot(x) forSome { val x: String } = four scala> val stuff = m("stuff") // should not crash @@ -100,6 +104,8 @@ scala> def m = { val y : String @Annot(x) = x y } // x should not escape the local scope with a narrow type +warning: there were 1 feature warnings; re-run with -feature for details +warning: there were 1 feature warnings; re-run with -feature for details m: String @Annot(x) forSome { val x: String } scala> @@ -113,6 +119,7 @@ scala> def n(y: String) = { } m("stuff".stripMargin) } // x should be existentially bound +warning: there were 1 feature warnings; re-run with -feature for details n: (y: String)String @Annot(x) forSome { val x: String } scala> |