Closed jvasileff closed 5 years ago
In theory I think this could be allowed if the appropriate bridge method were generated, but it gets tricky because a supertype may already have an overload with a raw signature that conflicts with the necessary bridge method.
Fixed, thanks for reporting.
The following is allowed by the type checker, despite #4093 disallowing very similar code:
The way the error message reads is slightly confusing, I think because the backend retains the
String
upper bound onT
in the subtype's refinement ofecho
.