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