Assertions about type checking should have message about where they're from