I.e. some version derived from the example in https://github.com/rust-lang/rust/issues/115716. Possibly once never type fallback is `!` everywhere, so that the question isn't too weird, idk.