Post #3030753

@jrose@social.belkadan.com @slava@mathstodon.xyz @zwarich@hachyderm.io my sense is that explicit declaration types and nodiscard-by-default would mitigate most of the problems with accidental unintended returns if you wanted to reinvent “statements” within an expression framework, maybe you could have another Decl unitary type that diagnoses if you try to return it, or it gets inferred into local function types