question idea: typing of diverging blocks. #33
Description
The current rules are really unintuitive, see rust-lang/rust#123590 (comment). It'd make a good question
{{ message }}
The current rules are really unintuitive, see rust-lang/rust#123590 (comment). It'd make a good question