Unreachable constraints.