fn register_region_constraints<D, I>(
delegate: &D,
constraints: &[RegionConstraint<I>],
span: I::Span,
)where
D: SolverDelegate<Interner = I>,
I: Interner,fn register_region_constraints<D, I>(
delegate: &D,
constraints: &[RegionConstraint<I>],
span: I::Span,
)where
D: SolverDelegate<Interner = I>,
I: Interner,