add test cases for #48566 (#48584)

JuliaLang · Feb 8, 2023 · 3a92d38 · 3a92d38
1 parent e3dfcc3
commit 3a92d38
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/test/compiler/effects.jl b/test/compiler/effects.jl
@@ -759,6 +759,10 @@ end
 @test Base.ismutationfree(Type{Union{}})
 @test Core.Compiler.is_total(Base.infer_effects(typejoin, ()))
 
+# nothrow-ness of subtyping operations
+# https://github.com/JuliaLang/julia/pull/48566
+@test !Core.Compiler.is_nothrow(Base.infer_effects((A,B)->A<:B, (Any,Any)))
+@test !Core.Compiler.is_nothrow(Base.infer_effects((A,B)->A>:B, (Any,Any)))
 
 # GotoIfNot should properly mark itself as throwing when given a non-Bool
 # https://github.com/JuliaLang/julia/pull/48583