{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"&&"}]}
                                    && header.polarity == ty::ImplPolarity::Positive
                                self.infcx.can_eq(ty::ParamEnv::empty(), trait_ref.self_ty(), value)
                            })