Precise Generator Captures
Impact
- Users can predict and understand why the compiler raises error messages. Errors are aligned with an experienced user's intuition about how Rust works.
- Compiler analysis and code generation passes are precise and not unnecessarily conservative.