8042656: Inference produces spurious error for intersection type bounds check

Fix subtyping for intersections involving capture variables

Reviewed-by: vromero
2 files changed