pub fn noop_visit_constraint<T: MutVisitor>(_: &mut AssocConstraint, vis: &mut T)