fn check_offload<'tcx>( tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>, kernel_ty: Ty<'tcx>, args_ty: Ty<'tcx>, ret_ty: Ty<'tcx>, hir_id: HirId, ) -> Result<(), ErrorGuaranteed>