constraint produces a result that may or may not contain an error message