blob: 1b548cc84dde0d237071d02c95e84cded1f1cfbe (
plain) (
tree)
|
|
t3691.scala:4: error: type mismatch;
found : java.lang.Object with Test.A[String]
required: AnyRef{type A[x]}
val b = (new A[String]{}): { type A[x] } // not ok
^
t3691.scala:5: error: type mismatch;
found : java.lang.Object with Test.A[String]
required: AnyRef{type A}
val c = (new A[String]{}): { type A } // not ok
^
t3691.scala:7: error: type mismatch;
found : java.lang.Object{type A = String}
required: AnyRef{type A[X]}
val x = (new { type A = String }): { type A[X] } // not ok
^
three errors found
|