From 87894b025f5ed87575da967ac9afc5a67769f5c4 Mon Sep 17 00:00:00 2001 From: lcnr Date: Thu, 21 Mar 2024 17:06:37 +0100 Subject: [PATCH] canonicalization is out of date --- src/solve/canonicalization.md | 1 - 1 file changed, 1 deletion(-) diff --git a/src/solve/canonicalization.md b/src/solve/canonicalization.md index a14be521..3c261303 100644 --- a/src/solve/canonicalization.md +++ b/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