option to avoid compiling a method that's known to throw for any input

option to avoid compiling a method that's known to throw for any input #6