support warnings
blank_use_constraints_could_be_a_mistake
should_produce_no_warnings_by_default