{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"impl<D:"}]}
        impl<D: SolverDelegate<Interner = I>, I: Interner> ContainsTermOrNotNameable<'_, D, I> {
            fn check_nameable(&self, universe: ty::UniverseIndex) -> ControlFlow<()> {