rustc_hir_analysis::check::always_applicable

Function check_negative_auto_trait_impl

Source 
pub(crate) fn check_negative_auto_trait_impl<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_def_id: LocalDefId,
    impl_trait_ref: TraitRef<'tcx>,
    polarity: ImplPolarity,
) -> Result<(), ErrorGuaranteed>