fn register_region_constraints<D, I>(
delegate: &D,
constraints: impl IntoIterator<Item = (RegionConstraint<I>, VisibleForLeakCheck)>,
span: I::Span,
)where
D: SolverDelegate<Interner = I>,
I: Interner,fn register_region_constraints<D, I>(
delegate: &D,
constraints: impl IntoIterator<Item = (RegionConstraint<I>, VisibleForLeakCheck)>,
span: I::Span,
)where
D: SolverDelegate<Interner = I>,
I: Interner,