-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
A-inferenceArea: Type inferenceArea: Type inferenceC-bugCategory: This is a bug.Category: This is a bug.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Description
RegionConstraintCollector::member_constraint
doesn't register new constraints in the undo log.
rust/compiler/rustc_infer/src/infer/region_constraints/mod.rs
Lines 533 to 554 in 1d58207
pub(super) fn member_constraint( | |
&mut self, | |
key: ty::OpaqueTypeKey<'tcx>, | |
definition_span: Span, | |
hidden_ty: Ty<'tcx>, | |
member_region: ty::Region<'tcx>, | |
choice_regions: &Lrc<Vec<ty::Region<'tcx>>>, | |
) { | |
debug!("member_constraint({:?} in {:#?})", member_region, choice_regions); | |
if choice_regions.iter().any(|&r| r == member_region) { | |
return; | |
} | |
self.data.member_constraints.push(MemberConstraint { | |
key, | |
definition_span, | |
hidden_ty, | |
member_region, | |
choice_regions: choice_regions.clone(), | |
}); | |
} |
compiler-errors
Metadata
Metadata
Assignees
Labels
A-inferenceArea: Type inferenceArea: Type inferenceC-bugCategory: This is a bug.Category: This is a bug.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.