member constraints leak through InferCtxt snapshots

`RegionConstraintCollector::member_constraint` doesn't register new constraints in the undo log.
https://github.com/rust-lang/rust/blob/1d5820784e442ec7e89474e2fa305440253ffaeb/compiler/rustc_infer/src/infer/region_constraints/mod.rs#L533-L554

	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(),
	});
	}

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

member constraints leak through InferCtxt snapshots #109654

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development