7034511: Loophole in typesafety

Type-variable substutution takes upper bound of replaced captured type-variable

Reviewed-by: dlsmith
5 files changed