Stabilize `#![feature(label_break_value)]` See the stabilization report in https://github.com/rust-lang/rust/issues/48594#issuecomment-1186213313.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.