Revert "effects: fix Base.@_noub_meta (#56061)"

This reverts commit a9fd6db.

Author: KristofferC

base/essentials.jl

@@ -348,8 +348,7 @@ macro _noub_meta()
         #=:inaccessiblememonly=#false,
         #=:noub=#true,
         #=:noub_if_noinbounds=#false,
-        #=:consistent_overlay=#false,
-        #=:nortcall=#false))
+        #=:consistent_overlay=#false))
 end
 # can be used in place of `@assume_effects :notaskstate` (supposed to be used for bootstrapping)
 macro _notaskstate_meta()

src/method.c

@@ -370,8 +370,6 @@ static void jl_code_info_set_ir(jl_code_info_t *li, jl_expr_t *ir)
                         if (consistent_overlay) li->purity.overrides.ipo_consistent_overlay = consistent_overlay;
                         int8_t nortcall = jl_unbox_bool(jl_exprarg(ma, 10));
                         if (nortcall) li->purity.overrides.ipo_nortcall = nortcall;
-                    } else {
-                        assert(jl_expr_nargs(ma) == 0);
                     }
                 }
                 else

test/compiler/effects.jl

@@ -858,12 +858,7 @@ end
 #        @test !Core.Compiler.is_nothrow(effects)
 #    end
 #end
-
-@test Core.Compiler.is_noub(Base.infer_effects(Base._growbeg!, (Vector{Int}, Int)))
-@test Core.Compiler.is_noub(Base.infer_effects(Base._growbeg!, (Vector{Any}, Int)))
-@test Core.Compiler.is_noub(Base.infer_effects(Base._growend!, (Vector{Int}, Int)))
-@test Core.Compiler.is_noub(Base.infer_effects(Base._growend!, (Vector{Any}, Int)))
-
+#
 # tuple indexing
 # --------------