8039214: Inference should not map capture variables to their upper bounds
Summary: Update to Types.containsType; related adjustment to most-specific test
Reviewed-by: mcimadamore, vromero