diff options
Diffstat (limited to 'tests/untried/neg/unchecked-impossible.check')
| -rw-r--r-- | tests/untried/neg/unchecked-impossible.check | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/untried/neg/unchecked-impossible.check b/tests/untried/neg/unchecked-impossible.check new file mode 100644 index 000000000..d150a5a85 --- /dev/null +++ b/tests/untried/neg/unchecked-impossible.check @@ -0,0 +1,10 @@ +unchecked-impossible.scala:5: warning: fruitless type test: a value of type T2[Int,Int] cannot also be a Seq[A] + case Seq(x) => + ^ +unchecked-impossible.scala:5: error: pattern type is incompatible with expected type; + found : Seq[A] + required: T2[Int,Int] + case Seq(x) => + ^ +one warning found +one error found |