Searched defs:add_constraint (Results 1 – 3 of 3) sorted by relevance
139 fn add_constraint(&mut self, current: &CurrentItem, index: u32, variance: VarianceTermPtr<'a>) { in add_constraint() method
396 void add_constraint(ppdcConstraint *c) { constraints->add(c); } in add_constraint() function
441 fn add_constraint(&mut self, constraint: Constraint<'tcx>, origin: SubregionOrigin<'tcx>) { in add_constraint() method