Minimal repro code: ``` const fn foo(a: u32) -> u32 { loop {} } ```
Minimal repro code: