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

canonicalization is out of date

This commit is contained in:
lcnr 2024-03-21 17:06:37 +01:00 committed by Boxy
parent db46d3eb06
commit 87894b025f
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/solve/canonicalization.md
View File

@ -78,7 +78,6 @@ TODO: link to code once the PR lands and elaborate
- all regions in the input get all mapped to existentially bound vars and we "uniquify" them. - all regions in the input get all mapped to existentially bound vars and we "uniquify" them.
`&'a (): Trait<'a>` gets canonicalized to `exists<'0, '1> &'0 (): Trait<'1>`. We do not care `&'a (): Trait<'a>` gets canonicalized to `exists<'0, '1> &'0 (): Trait<'1>`. We do not care
about their universes and simply put all regions into the highest universe of the input. about their universes and simply put all regions into the highest universe of the input.
- once we collected all canonical vars we compress their universes, see comment in `finalize`.
- in the output everything in a universe of the caller gets put into the root universe and only - in the output everything in a universe of the caller gets put into the root universe and only
gets its correct universe when we unify the var values with the orig values of the caller gets its correct universe when we unify the var values with the orig values of the caller
- we do not uniquify regions in the response and don't canonicalize `'static` - we do not uniquify regions in the response and don't canonicalize `'static`