8189838: Stack overflow when computing upward projection of an intersection type with fbounds

Bad logic for detecting loop in type-variable upper bounds

Reviewed-by: vromero
2 files changed