user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source
This commit is contained in:
Yuki Okushi 2025-01-18 05:26:20 +09:00 • committed by GitHub
commit 84fdb5177e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/doc/rustc-dev-guide/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
types.
This is unfortunately broken for `<fndef as FnOnce<..>>::Output` due to implied bounds,
resulting in [#114936].
### Structural equality modulo regions implies semantic equality ✅
If you have a some type and equate it to itself after replacing any regions with unique