Improve error message when a loss of precision can occur during type unification in a conditional expression