fn check_main_fn_ty(tcx: TyCtxt<'_>, main_def_id: DefId)