Valid type projection fails #2949
Description
class Foo(a: Foo#A) {
type A = Int
}fails with the error
found: Foo
required: ?{ A: ? }
Scalac succesfully compiles this.
{{ message }}
class Foo(a: Foo#A) {
type A = Int
}fails with the error
found: Foo
required: ?{ A: ? }
Scalac succesfully compiles this.