backport 1.11: fix handling of unknown setting in @constprop, fix error message (#57321)

Backport of PR #56946 to v1.11.

Co-authored-by: Shuhei Kadowaki
<[email protected]>
(cherry picked from commit a3f336f)

Author: nsajko

base/expr.jl

@@ -400,13 +400,14 @@ macro constprop(setting)
 end
 
 function constprop_setting(@nospecialize setting)
+    s = setting
     isa(setting, QuoteNode) && (setting = setting.value)
     if setting === :aggressive
         return :aggressive_constprop
     elseif setting === :none
         return :no_constprop
     end
-    throw(ArgumentError(LazyString("@constprop "), setting, "not supported"))
+    throw(ArgumentError(LazyString("`Base.@constprop ", s, "` not supported")))
 end
 
 """

test/misc.jl

@@ -1575,3 +1575,15 @@ end
     end
     @test !occursin("loop not unrolled", out_err)
 end
+
+@testset "`@constprop`, `@assume_effects` handling of an unknown setting" begin
+    for x ∈ ("constprop", "assume_effects")
+        try
+            eval(Meta.parse("Base.@$x :unknown f() = 3"))
+            error("unexpectedly reached")
+        catch e
+            e::LoadError
+            @test e.error isa ArgumentError
+        end
+    end
+end