-
cgibbard authored
Broaden the circumstances under which inaccessible code warnings are reported due to unsatisfiable constraints.
38ee0b1d
Broaden the circumstances under which inaccessible code warnings are reported due to unsatisfiable constraints.