Skip to content

Commit

Permalink
typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@tshepang @compiler-errors
tshepang authored and compiler-errors committed Jul 2, 2023
1 parent 605c35a commit 07c92b8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/solve/trait-solving.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -97,7 +97,7 @@ all free regions during codegen we must not rely on them during typeck. A notewo
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
This is fine for codegen, as we treat all erased regions as equal. We can however
lose equality information from HIR to MIR typeck.

### 7. Removing ambiguity makes strictly more things compile
Expand Down

0 comments on commit 07c92b8

Please # to comment.