{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"};"}]}
            };
                return;
            if !of_trait_ref.trait_def_id().is_some_and(|def_id| def_id.is_local()) {