Searched defs:RegionConstraintData (Results 1 – 2 of 2) sorted by relevance
90 pub struct RegionConstraintData<'tcx> { struct93 pub constraints: BTreeMap<Constraint<'tcx>, SubregionOrigin<'tcx>>,98 pub member_constraints: Vec<MemberConstraint<'tcx>>,106 pub verifys: Vec<Verify<'tcx>>,763 impl<'tcx> RegionConstraintData<'tcx> { implementation767 let RegionConstraintData { constraints, member_constraints, verifys } = self; in is_empty() localVariable
659 let RegionConstraintData { constraints, verifys, member_constraints } = region_constraints; in make_query_region_constraints() localVariable