Skip to content

Commit e35e081

Browse files
mark-i-mcsmoe
andcommitted
Update src/traits/hrtb.md
Co-Authored-By: csmoe <[email protected]>
1 parent bd8d3f5 commit e35e081

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/traits/hrtb.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ to the subtyping for higher-ranked types (which is described [here][hrsubtype]
3636
and also in a [paper by SPJ]. If you wish to understand higher-ranked
3737
subtyping, we recommend you read the paper). There are a few parts:
3838

39-
1. replace bound regions in the obligation with placeholders.
39+
1. Replace bound regions in the obligation with placeholders.
4040
2. Match the impl against the [placeholder] obligation.
4141
3. Check for _placeholder leaks_.
4242

0 commit comments

Comments
 (0)