8064464: regression with type inference of conditional expressionSummary: Bad classification of conditional leads to spurious errorReviewed-by: jlahoda