An interface for reporting "impossible" errors
"Impossible" errors, annotated with a file name and a line number corresponding to the source code location of the error.
Abort by throwing an "impossible" error. You should not use
this function directly. Instead use the macro in