Reports impossible type assertions.