Searched refs:fold_constraint (Results 1 – 1 of 1) sorted by relevance
113 fn fold_constraint(&mut self, i: crate::Constraint) -> crate::Constraint { in fold_constraint() method114 fold_constraint(self, i) in fold_constraint()1245 pub fn fold_constraint<F>(f: &mut F, node: crate::Constraint) -> crate::Constraint in fold_constraint() function2201 crate::GenericArgument::Constraint(f.fold_constraint(_binding_0)) in fold_generic_argument()