Idea: Early returns and irrefutability

[scottmcm]

This is typestate. See previous discussion here:

Pre-RFC: Allow pattern matching after guard clause

I had opened this as an issue on the Rust repo itself https://github.com/rust-lang/rust/issues/45978 . I’ll post what’s there as of this writing and I’ll let the conversation continue normally from there. Original Post I’ve opened a separate issue for a Rust style guide on Guard Clause. What this issue is about is that Rust currently doesn’t recognize when a path has already been handled by a Guard Clause. I want to do the following: use std::fs::File; let file = File::open("program.cfg"); …