Test world age argument to code_typed.

JuliaLang · Jun 9, 2021 · 5c64c21 · 5c64c21
1 parent 3bd6b3e
commit 5c64c21
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/test/reflection.jl b/test/reflection.jl
@@ -936,3 +936,19 @@ end
  @test f !== Core._apply
  @test occursin("f2#", String(nameof(f)))
 end
+
+
+@testset "code_typed(; world)" begin
+ mod = @eval module $(gensym()) end
+
+ @eval mod foo() = 1
+ world1 = Base.get_world_counter()
+ @test only(code_typed(mod.foo, ())).second == Int
+ @test only(code_typed(mod.foo, (); world=world1)).second == Int
+
+ @eval mod foo() = 2.
+ world2 = Base.get_world_counter()
+ @test only(code_typed(mod.foo, ())).second == Float64
+ @test only(code_typed(mod.foo, (); world=world1)).second == Int
+ @test only(code_typed(mod.foo, (); world=world2)).second == Float64
+end