Function register_region_constraints 

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