Skip to content

Commit 383636a

Browse files
authored
reword Self parameter bullet point
1 parent bdc191c commit 383636a

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

src/ty-module/generic-arguments.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -149,7 +149,7 @@ gets flattened down to a list, and lets you figure out which index in the `Gener
149149
generic. The general theme of how it works is outermost to innermost (`T` before `T2` in the example), left to right
150150
(`T2` before `T3`), but there are several complications:
151151

152-
- `Self` is sometimes a generic parameter, and should sometimes be included in the list.
152+
- Traits have an implicit `Self` generic parameter which is the first (i.e. 0th) generic parameter. Note that `Self` doesn't mean a generic parameter in all situations, see [Res::SelfTyAlias](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir/def/enum.Res.html#variant.SelfTyAlias) and [Res::SelfCtor](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir/def/enum.Res.html#variant.SelfCtor).
153153
- Only early-bound generic parameters are included, [late-bound generics] are not.
154154
- ... and more...
155155

0 commit comments

Comments
 (0)