Sorbet escape hatch that tells both the static checker and the runtime to ignore typing for the wrapped expression. Used when you can't or don't want to prove the type. Erwin Kroon warns it 'gives you nothing' — pure overhead with no static guarantees — and reports GitHub accumulated ~6,000 uses of T.unsafe while introducing Sorbet at `# typed: true` level, which he considers excessive.