diff options
| author | lcnr <rust@lcnr.de> | 2024-03-21 17:06:37 +0100 |
|---|---|---|
| committer | Boxy <supbscripter@gmail.com> | 2024-03-22 11:11:41 +0000 |
| commit | dbdec080fd40eae5dfa330f54578489d98641163 (patch) | |
| tree | 668a39d7ab543dd2817400ae0ad25eacea416833 /src/doc/rustc-dev-guide | |
| parent | 6949881950367253893b62b73aa3352da6d54351 (diff) | |
| download | rust-dbdec080fd40eae5dfa330f54578489d98641163.tar.gz rust-dbdec080fd40eae5dfa330f54578489d98641163.zip | |
canonicalization is out of date
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/solve/canonicalization.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/solve/canonicalization.md b/src/doc/rustc-dev-guide/src/solve/canonicalization.md index a14be5216c3..3c261303566 100644 --- a/src/doc/rustc-dev-guide/src/solve/canonicalization.md +++ b/src/doc/rustc-dev-guide/src/solve/canonicalization.md @@ -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. `&'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. -- 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 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` \ No newline at end of file |