Searched refs:fold_constraint (Results 1 – 3 of 3) sorted by relevance
80 fn fold_constraint(&mut self, i: Constraint) -> Constraint { in fold_constraint() method81 fold_constraint(self, i) in fold_constraint()1007 pub fn fold_constraint<F>(f: &mut F, node: Constraint) -> Constraint in fold_constraint() function1797 GenericArgument::Constraint(f.fold_constraint(_binding_0)) in fold_generic_argument()
103 fn fold_constraint(&mut self, i: crate::Constraint) -> crate::Constraint { in fold_constraint() method104 fold_constraint(self, i) in fold_constraint()1187 pub fn fold_constraint<F>(f: &mut F, node: crate::Constraint) -> crate::Constraint in fold_constraint() function2124 crate::GenericArgument::Constraint(f.fold_constraint(_binding_0)) in fold_generic_argument()