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