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