We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see ourdocumentation.
There was an error while loading.Please reload this page.
1 parent213ad10 commitb7b350cCopy full SHA for b7b350c
compiler/rustc_middle/src/ty/region.rs
@@ -352,6 +352,12 @@ impl std::fmt::Debug for EarlyParamRegion {
352
#[derive(HashStable)]
353
/// The parameter representation of late-bound function parameters, "some region
354
/// at least as big as the scope `fr.scope`".
355
+///
356
+/// Similar to a placeholder region as we create `LateParam` regions when entering a binder
357
+/// except they are always in the root universe and instead of using a boundvar to distinguish
358
+/// between others we use the `DefId` of the parameter. For this reason the `bound_region` field
359
+/// should basically always be `BoundRegionKind::BrNamed` as otherwise there is no way of telling
360
+/// different parameters apart.
361
pubstructLateParamRegion{
362
pubscope:DefId,
363
pubbound_region:BoundRegionKind,