This commit is contained in:
lcnr 2023-04-12 21:55:45 +02:00 committed by Michael Goulet
parent c83eb53b16
commit 6e45e5d855

View file

@ -98,7 +98,7 @@ 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.
lose equality information from HIR to MIR typeck.
### 7. Removing ambiguity makes strictly more things compile