8c7a05a23f
The AbortUnwindCalls MIR pass will eliminate any unnecessary cleanups and will prevent any unwinds from leaking out by forcing an abort.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.