8eb26d8733
o Add a diagnostic for an 'impossible' condition. o Collapse common code.
o Add a diagnostic for an 'impossible' condition. o Collapse common code.