Merge pull request #9556 from dotty-staging/fix-#6335

anatoliykmetyuk · web-flow · commit b61e960087e5 · 2020-08-14T11:46:29.000+02:00
Fix #6335: Add regression tests
diff --git a/tests/neg/i6335.scala b/tests/neg/i6335.scala
@@ -0,0 +1,2 @@
+case class Boo(i: Int) extends AnyVal
+val b: AnyRef = Boo(1) // error

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+case class Boo(i: Int) extends AnyVal`
	`2`	`+val b: AnyRef = Boo(1) // error`