Function rustc_hir_analysis::check::wfcheck::check_impl
source · fn check_impl<'tcx>(
tcx: TyCtxt<'tcx>,
item: &'tcx Item<'tcx>,
ast_self_ty: &Ty<'_>,
ast_trait_ref: &Option<TraitRef<'_>>
)
fn check_impl<'tcx>(
tcx: TyCtxt<'tcx>,
item: &'tcx Item<'tcx>,
ast_self_ty: &Ty<'_>,
ast_trait_ref: &Option<TraitRef<'_>>
)