mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2211 from patrickoliveira15/patch/inference-invariance

This commit is contained in:
Yuki Okushi 2025-01-18 05:26:20 +09:00 committed by GitHub
parent e887a1bcb3 fbceffc7ca
commit c1b4cfaa96
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/solve/invariants.md
View File

@ -23,9 +23,6 @@ well-formed after normalizing said aliases. We rely on this as
otherwise we would have to re-check for well-formedness for these otherwise we would have to re-check for well-formedness for these
types. types.
This is unfortunately broken for `<fndef as FnOnce<..>>::Output` due to implied bounds,
resulting in [#114936].
### Structural equality modulo regions implies semantic equality ✅ ### Structural equality modulo regions implies semantic equality ✅
If you have a some type and equate it to itself after replacing any regions with unique If you have a some type and equate it to itself after replacing any regions with unique