Add test for type stability using @inferred

Seelengrab · Aug 13, 2023 · 928eb43 · 928eb43
1 parent ce55fea
commit 928eb43
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -406,4 +406,12 @@ const numTypes = union(getSubtypes(Integer), getSubtypes(AbstractFloat))
         end == 2
     end
     end
+    @testset "Inference" begin
+        @testset for gen in (
+                itype(Int8), PropCheck.iposint(Int8), PropCheck.inegint(Int8),
+                PropCheck.ifloat(Float16), PropCheck.ifloatinf(Float16), PropCheck.ifloatnan(Float16),
+                )
+            @test @inferred(generate(gen)) isa PropCheck.Tree
+        end
+    end
 end