rustc_hir_analysis::coherence

Function check_impl

Source 
fn check_impl<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_def_id: LocalDefId,
    trait_ref: TraitRef<'tcx>,
    trait_def: &'tcx TraitDef,
    polarity: ImplPolarity,
) -> Result<(), ErrorGuaranteed>