Error on narrowing pattern definitions

odersky · odersky · commit 0e00e699736e · 2019-04-28T21:17:56.000+02:00
diff --git a/tests/neg/unchecked-patterns.scala b/tests/neg/unchecked-patterns.scala
@@ -1,4 +1,6 @@
 object Test {
   val (y1: Some[Int] @unchecked) = Some(1): Option[Int]  // OK
   val y2: Some[Int] @unchecked = Some(1): Option[Int]    // error
+
+  val x :: xs = List(1, 2, 3)  // error
 }

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,6 @@`
`1`	`1`	`object Test {`
`2`	`2`	`val (y1: Some[Int] @unchecked) = Some(1): Option[Int] // OK`
`3`	`3`	`val y2: Some[Int] @unchecked = Some(1): Option[Int] // error`
	`4`	`+`
	`5`	`+ val x :: xs = List(1, 2, 3) // error`
`4`	`6`	`}`