No escape hatch for typing error

Sorry, can you show the full code that raises no warning?