mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-29 12:36:35 +03:00
3a6c5429c2
Don't project specializable RPITIT projection This effective rejects specialization + RPITIT/AFIT (usages of `impl Trait` in traits) because the implementation is significantly complicated over making regular "default" trait method bodies work. I have another PR that experimentally fixes all this, but the code may not be worth investing in.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.