Fix #5041: Add regression test

nicolasstucki · nicolasstucki · commit 690ba98cade7 · 2019-05-03T11:33:45.000+02:00
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`