Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- trait J
- trait K extends J
- trait L extends J
- trait A[M[_ <: L]]
- trait X[_ <: K]
- //new A[X] {} // type _ (in trait X)'s bounds >: Nothing <: this.K are stricter than type _'s declared bounds >: Nothing <: this.L
- trait Y[_ <: J]
- new A[Y] {} // okay
Add Comment
Please, Sign In to add comment