Function rustc_hir_analysis::check::wfcheck::check_impl
source ยท fn check_impl<'tcx>(
tcx: TyCtxt<'tcx>,
item: &'tcx Item<'tcx>,
hir_self_ty: &Ty<'_>,
hir_trait_ref: &Option<TraitRef<'_>>,
) -> Result<(), ErrorGuaranteed>