fn polarity_of_impl( tcx: TyCtxt<'_>, def_id: LocalDefId, impl_: &Impl<'_>, span: Span, ) -> ImplPolarity