Trait rustc_infer::infer::outlives::obligations::TypeOutlivesDelegate
source · pub trait TypeOutlivesDelegate<'tcx> {
// Required methods
fn push_sub_region_constraint(
&mut self,
origin: SubregionOrigin<'tcx>,
a: Region<'tcx>,
b: Region<'tcx>,
constraint_category: ConstraintCategory<'tcx>,
);
fn push_verify(
&mut self,
origin: SubregionOrigin<'tcx>,
kind: GenericKind<'tcx>,
a: Region<'tcx>,
bound: VerifyBound<'tcx>,
);
}