Fix of 7034511 (now backed out) is causing spurious accessibility errors Reviewed-by: jjg
Type-variable substutution takes upper bound of replaced captured type-variable Reviewed-by: dlsmith