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

extend the sixth requirement

This commit is contained in:
lcnr 2023-04-11 10:48:38 +02:00 committed by Michael Goulet
parent a641ce4bda
commit b9da0a0797
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/solve/trait-solving.md
View File

@ -96,6 +96,10 @@ Trait solving during codegen should have the same result as during typeck. As we
all free regions during codegen we must not rely on them during typeck. A noteworthy example
is special behavior for `'static`.
We also have to be careful with relying on equality of regions in the trait solver.
This is fine for codegen, as we treat all erased regions are equal. We can however
loose equality information from HIR to MIR typeck.
### 7. Removing ambiguity makes strictly more things compile
We *should* not rely on ambiguity for things to compile.