Call the right typechecking function from the failing unit tests.