{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"header.constness"}]}
                header.constness == hir::Constness::Const
                let header = self.impl_trait_header(def_id).unwrap();
                    && self.is_const_trait(header.trait_ref.skip_binder().def_id)