diff options
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/t7756a.check | 7 | ||||
-rw-r--r-- | test/files/neg/t7756a.flags | 1 | ||||
-rw-r--r-- | test/files/neg/t7756a.scala | 11 | ||||
-rw-r--r-- | test/files/neg/t7756b.check | 4 | ||||
-rw-r--r-- | test/files/neg/t7756b.flags | 1 | ||||
-rw-r--r-- | test/files/neg/t7756b.scala | 5 |
6 files changed, 29 insertions, 0 deletions
diff --git a/test/files/neg/t7756a.check b/test/files/neg/t7756a.check new file mode 100644 index 0000000000..8d42717e47 --- /dev/null +++ b/test/files/neg/t7756a.check @@ -0,0 +1,7 @@ +t7756a.scala:7: error: type arguments [Object] do not conform to trait TA's type parameter bounds [X <: CharSequence] + locally(null: TA[Object]) + ^ +t7756a.scala:7: error: type arguments [Object] do not conform to trait TA's type parameter bounds [X <: CharSequence] + locally(null: TA[Object]) + ^ +two errors found diff --git a/test/files/neg/t7756a.flags b/test/files/neg/t7756a.flags new file mode 100644 index 0000000000..29f4ede37a --- /dev/null +++ b/test/files/neg/t7756a.flags @@ -0,0 +1 @@ +-Xfuture diff --git a/test/files/neg/t7756a.scala b/test/files/neg/t7756a.scala new file mode 100644 index 0000000000..4453e84963 --- /dev/null +++ b/test/files/neg/t7756a.scala @@ -0,0 +1,11 @@ +object Test { + def test: Unit = { + trait TA[X <: CharSequence] + 0 match { + case _ => + // the bounds violation isn't reported. RefChecks seems to be too broadly disabled under virtpatmat: see 65340ed4ad2e + locally(null: TA[Object]) + () + } + } +} diff --git a/test/files/neg/t7756b.check b/test/files/neg/t7756b.check new file mode 100644 index 0000000000..5a88ae3c25 --- /dev/null +++ b/test/files/neg/t7756b.check @@ -0,0 +1,4 @@ +t7756b.scala:3: error: comparing values of types Int and String using `==' will always yield false + case _ => 0 == "" + ^ +one error found diff --git a/test/files/neg/t7756b.flags b/test/files/neg/t7756b.flags new file mode 100644 index 0000000000..3f3381a45b --- /dev/null +++ b/test/files/neg/t7756b.flags @@ -0,0 +1 @@ +-Xfuture -Xfatal-warnings diff --git a/test/files/neg/t7756b.scala b/test/files/neg/t7756b.scala new file mode 100644 index 0000000000..a2de29c8e7 --- /dev/null +++ b/test/files/neg/t7756b.scala @@ -0,0 +1,5 @@ +object Test { + 0 match { + case _ => 0 == "" + } +} |