blob: c98f976f795d5d4f7d54f73f4019b2b273c377aa (
plain) (
tree)
|
|
literate_existentials.scala:189: error: Cannot prove that Int <:< M forSome { type M <: String }.
implicitly[Int <:< (M forSome { type M >: Nothing <: String })] // fails
^
one error found
|