Summary: Fix of 7034511 (now backed out) is causing spurious accessibility errors
Reviewed-by: jjg

Summary: Type-variable substutution takes upper bound of replaced captured type-variable
Reviewed-by: dlsmith