[hibernate-issues] [JIRA] (HHH-16875) more disciplined type checking for comparison expressions and assignments