Test case

Author: odersky

tests/pos/i7879.scala

@@ -0,0 +1,4 @@
+object Test {
+  val head1 +: _ = List(1).view
+  val _: Int = head1
+}