{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                    && self.is_const_trait(header.trait_ref.skip_binder().def_id)
            DefKind::Fn | DefKind::Ctor(_, CtorKind::Fn) => {