Fix broken link for BoundRegion#998
Conversation
| innermost binder (the `for`). | ||
| - The `a` is the "name"; late-bound lifetimes in rustc are identified by a | ||
| "name" -- the [`BoundRegion`] struct. This struct can contain a | ||
| "name" -- the [`BoundRegionKind`] enum. This enum can contain a |
There was a problem hiding this comment.
It seems to me that we should still be linking to BoundRegion – it's just a struct now, rather than an enum.
There was a problem hiding this comment.
I think it's more straightforward to use BoundRegionKind like ExprKind or similar, since we use Kind thing mainly.
There was a problem hiding this comment.
Given that BoundRegion is only a wrapper around BoundRegionKind, and that we talk about what kind of name it can be in this paragraph, I think linking to BoundRegionKind makes more sense
There was a problem hiding this comment.
In the future BoundRegion may have more fields than just kind, so wouldn't we want to link people to that?
There was a problem hiding this comment.
I'd argue that if this is the case this chapter will need updating anyway
| innermost binder (the `for`). | ||
| - The `a` is the "name"; late-bound lifetimes in rustc are identified by a | ||
| "name" -- the [`BoundRegion`] struct. This struct can contain a | ||
| "name" -- the [`BoundRegionKind`] enum. This enum can contain a |
There was a problem hiding this comment.
Given that BoundRegion is only a wrapper around BoundRegionKind, and that we talk about what kind of name it can be in this paragraph, I think linking to BoundRegionKind makes more sense
3 participants
Caused by rust-lang/rust#80163.