8042656: Inference produces spurious error for intersection type bounds check
Summary: Fix subtyping for intersections involving capture variables
Reviewed-by: vromero