Don't issue unchecked warnings on higher-kinded...

Don't issue unchecked warnings on higher-kinded types. Closes #1439,
review by moors.

1 files changed, 8 insertions, 0 deletions

diff --git a/test/files/pos/bug1439.scala b/test/files/pos/bug1439.scala
new file mode 100644
index 0000000000..68a7332b2a
--- /dev/null
+++ b/test/files/pos/bug1439.scala
@@ -0,0 +1,8 @@
+// no unchecked warnings
+class View[C[A]] { }
+
+object Test {
+  null match {
+    case v: View[_] =>
+  }
+}