{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"&&"}]}
                        && header.polarity != ty::ImplPolarity::Negative
                    tcx.visibility(trait_def_id).is_accessible_from(self.item_def_id(), tcx)
                })