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