A related concept is compilers that keep going after the first error. Though I kind of like the hard-mode idea of a compiler that has only one error message, "fail".

BTW: could provide valid options (perhaps highlighted), not constraints. (...maybe been thought of already)