Merge pull request #6437 from dotty-staging/fix-#5041

anatoliykmetyuk · web-flow · commit 2474aea4d754 · 2019-05-03T13:37:43.000+02:00
Fix #5041: Add regression test
diff --git a/tests/neg/i5041.scala b/tests/neg/i5041.scala
@@ -0,0 +1 @@
+case class i1()extends Any // error: Any does not have a constructor

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+case class i1()extends Any // error: Any does not have a constructor`