Unreachable constraints are verboten.