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