Function rustc_hir_analysis::check::wfcheck::check_impl

fn check_impl<'tcx>(
    tcx: TyCtxt<'tcx>,
    item: &'tcx Item<'tcx>,
    hir_self_ty: &Ty<'_>,
    hir_trait_ref: &Option<TraitRef<'_>>
) -> Result<(), ErrorGuaranteed>