Function rustc_typeck::check::dropck::ensure_drop_params_and_item_params_correspond

pub(in check::dropck) fn ensure_drop_params_and_item_params_correspond<'tcx>(
    tcx: TyCtxt<'tcx>, 
    drop_impl_did: LocalDefId, 
    drop_impl_ty: Ty<'tcx>, 
    self_type_did: DefId
) -> Result<(), ErrorReported>