diff options
Diffstat (limited to 'tests/pending/run/t1427.check')
| -rw-r--r-- | tests/pending/run/t1427.check | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/pending/run/t1427.check b/tests/pending/run/t1427.check new file mode 100644 index 000000000..11a3d2f4a --- /dev/null +++ b/tests/pending/run/t1427.check @@ -0,0 +1,3 @@ +t1427.scala:6: warning: abstract type X in type pattern Bob[_[_] <: Any] is unchecked since it is eliminated by erasure + case x: (Bob[X] forSome { type X[_] }) => true + ^ |