Open GoogleCodeExporter opened 9 years ago
I agree. This particular issue comes because the wildcard bound is explicitly
set outside of the bound of the type parameter (that is ? extends Object is
technically outside of the bounds of T). However, this doesn't actually matter
since you cannot construct an instance of I that violates those bounds.
This should indeed typecheck.
Original comment by jbu...@cs.washington.edu
on 14 Apr 2015 at 6:23
Original issue reported on code.google.com by
cus...@google.com
on 14 Apr 2015 at 6:06