We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6957287 commit 8cbf135Copy full SHA for 8cbf135
src/borrow_check/region_inference.md
@@ -129,7 +129,7 @@ the type of `foo` the type `bar` expects
129
```
130
131
We handle this sort of subtyping by taking the variables that are
132
-bound in the supertype and replace them with
+bound in the supertype and replacing them with
133
[universally quantified](../appendix/background.html#quantified)
134
representatives, written like `!1`. We call these regions "placeholder
135
regions" – they represent, basically, "some unknown region".
0 commit comments