{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"impl<D:"}]}
        impl<D: SolverDelegate<Interner = I>, I: Interner> TypeVisitor<I>
            for ContainsTermOrNotNameable<'_, D, I>