Struct rustc_symbol_mangling::v0::BinderLevel [−][src]
Fields
lifetime_depths: Range<u32>Expand description
The range of distances from the root of what’s
being printed, to the lifetimes in a binder.
Specifically, a BrAnon(i) lifetime has depth
lifetime_depths.start + i, going away from the
the root and towards its use site, as i increases.
This is used to flatten rustc’s pairing of BrAnon
(intra-binder disambiguation) with a DebruijnIndex
(binder addressing), to “true” de Bruijn indices,
by subtracting the depth of a certain lifetime, from
the innermost depth at its use site.