Test case for #5445

Author: odersky

tests/neg/i5445.scala

@@ -0,0 +1,6 @@
+object Test {
+
+  trait A { def polymorphic[x]: Int }
+  val a = new A { val polymorphic = Unit } // error: object creation impossible
+
+}