Use @constinferred in tests (#8)

Author: ogauthe

test/Project.toml

@@ -1,10 +1,11 @@
 [deps]
 Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 GradedUnitRanges = "e2de450a-8a67-46c7-b59c-01d5a3d041c5"
-SymmetrySectors = "f8a8ad64-adbc-4fce-92f7-ffe2bb36a86e"
 SafeTestsets = "1bc83da4-3b8d-516f-aca4-4fe02f6d838f"
 Suppressor = "fd094767-a336-5f1f-9728-57cf17d0bbfb"
+SymmetrySectors = "f8a8ad64-adbc-4fce-92f7-ffe2bb36a86e"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
+TestExtras = "5ed8adda-3752-4e41-b88a-e8b09835ee3a"
 
 [compat]
 Aqua = "0.8.9"

test/test_basics.jl

@@ -13,7 +13,8 @@ using SymmetrySectors:
   block_dimensions,
   quantum_dimension,
   trivial
-using Test: @inferred, @test, @testset, @test_throws
+using Test: @test, @testset, @test_throws
+using TestExtras: @constinferred
 
 @testset "Simple SymmetrySector fusion rules" begin
   @testset "Z{2} fusion rules" begin
@@ -23,12 +24,12 @@ using Test: @inferred, @test, @testset, @test_throws
     @test z0 ⊗ z0 == z0
     @test z0 ⊗ z1 == z1
     @test z1 ⊗ z1 == z0
-    @test (@inferred z0 ⊗ z0) == z0  # no better way, see Julia PR 23426
+    @test (@constinferred z0 ⊗ z0) == z0
 
     q = TrivialSector()
-    @test (@inferred q ⊗ q) == q
-    @test (@inferred q ⊗ z0) == z0
-    @test (@inferred z1 ⊗ q) == z1
+    @test (@constinferred q ⊗ q) == q
+    @test (@constinferred q ⊗ z0) == z0
+    @test (@constinferred z1 ⊗ q) == z1
 
     # using GradedUnitRanges interface
     @test space_isequal(fusion_product(z0, z0), gradedrange([z0 => 1]))
@@ -38,7 +39,7 @@ using Test: @inferred, @test, @testset, @test_throws
     @test space_isequal(fusion_product(z0), gradedrange([z0 => 1]))
     @test space_isequal(fusion_product(z0, z0, z0), gradedrange([z0 => 1]))
     @test space_isequal(fusion_product(z0, z0, z0, z0), gradedrange([z0 => 1]))
-    @test (@inferred block_dimensions(gradedrange([z1 => 1]))) == [1]
+    @test (@constinferred block_dimensions(gradedrange([z1 => 1]))) == [1]
   end
   @testset "U(1) fusion rules" begin
     q1 = U1(1)
@@ -48,7 +49,7 @@ using Test: @inferred, @test, @testset, @test_throws
     @test q1 ⊗ q1 == U1(2)
     @test q1 ⊗ q2 == U1(3)
     @test q2 ⊗ q1 == U1(3)
-    @test (@inferred q1 ⊗ q2) == q3  # no better way, see Julia PR 23426
+    @test (@constinferred q1 ⊗ q2) == q3
   end
 
   @testset "O2 fusion rules" begin
@@ -58,23 +59,25 @@ using Test: @inferred, @test, @testset, @test_throws
     s1 = O2(1)
 
     q = TrivialSector()
-    @test space_isequal((@inferred s0e ⊗ q), gradedrange([s0e => 1]))
-    @test space_isequal((@inferred q ⊗ s0o), gradedrange([s0o => 1]))
-
-    @test space_isequal((@inferred s0e ⊗ s0e), gradedrange([s0e => 1]))
-    @test space_isequal((@inferred s0o ⊗ s0e), gradedrange([s0o => 1]))
-    @test space_isequal((@inferred s0o ⊗ s0e), gradedrange([s0o => 1]))
-    @test space_isequal((@inferred s0o ⊗ s0o), gradedrange([s0e => 1]))
-
-    @test space_isequal((@inferred s0e ⊗ s12), gradedrange([s12 => 1]))
-    @test space_isequal((@inferred s0o ⊗ s12), gradedrange([s12 => 1]))
-    @test space_isequal((@inferred s12 ⊗ s0e), gradedrange([s12 => 1]))
-    @test space_isequal((@inferred s12 ⊗ s0o), gradedrange([s12 => 1]))
-    @test space_isequal((@inferred s12 ⊗ s1), gradedrange([s12 => 1, O2(3//2) => 1]))
-    @test space_isequal((@inferred s12 ⊗ s12), gradedrange([s0o => 1, s0e => 1, s1 => 1]))
-
-    @test (@inferred quantum_dimension(s0o ⊗ s1)) == 2
-    @test (@inferred block_dimensions(s0o ⊗ s1)) == [2]
+    @test space_isequal((@constinferred s0e ⊗ q), gradedrange([s0e => 1]))
+    @test space_isequal((@constinferred q ⊗ s0o), gradedrange([s0o => 1]))
+
+    @test space_isequal((@constinferred s0e ⊗ s0e), gradedrange([s0e => 1]))
+    @test space_isequal((@constinferred s0o ⊗ s0e), gradedrange([s0o => 1]))
+    @test space_isequal((@constinferred s0o ⊗ s0e), gradedrange([s0o => 1]))
+    @test space_isequal((@constinferred s0o ⊗ s0o), gradedrange([s0e => 1]))
+
+    @test space_isequal((@constinferred s0e ⊗ s12), gradedrange([s12 => 1]))
+    @test space_isequal((@constinferred s0o ⊗ s12), gradedrange([s12 => 1]))
+    @test space_isequal((@constinferred s12 ⊗ s0e), gradedrange([s12 => 1]))
+    @test space_isequal((@constinferred s12 ⊗ s0o), gradedrange([s12 => 1]))
+    @test space_isequal((@constinferred s12 ⊗ s1), gradedrange([s12 => 1, O2(3//2) => 1]))
+    @test space_isequal(
+      (@constinferred s12 ⊗ s12), gradedrange([s0o => 1, s0e => 1, s1 => 1])
+    )
+
+    @test (@constinferred quantum_dimension(s0o ⊗ s1)) == 2
+    @test (@constinferred block_dimensions(s0o ⊗ s1)) == [2]
   end
 
   @testset "SU2 fusion rules" begin
@@ -88,9 +91,9 @@ using Test: @inferred, @test, @testset, @test_throws
     @test space_isequal(j2 ⊗ j2, gradedrange([j1 => 1, j3 => 1]))
     @test space_isequal(j2 ⊗ j3, gradedrange([j2 => 1, j4 => 1]))
     @test space_isequal(j3 ⊗ j3, gradedrange([j1 => 1, j3 => 1, j5 => 1]))
-    @test space_isequal((@inferred j1 ⊗ j2), gradedrange([j2 => 1]))
-    @test (@inferred quantum_dimension(j1 ⊗ j2)) == 2
-    @test (@inferred block_dimensions(j1 ⊗ j2)) == [2]
+    @test space_isequal((@constinferred j1 ⊗ j2), gradedrange([j2 => 1]))
+    @test (@constinferred quantum_dimension(j1 ⊗ j2)) == 2
+    @test (@constinferred block_dimensions(j1 ⊗ j2)) == [2]
 
     @test space_isequal(fusion_product(j2), gradedrange([j2 => 1]))
     @test space_isequal(fusion_product(j2, j1), gradedrange([j2 => 1]))
@@ -104,8 +107,8 @@ using Test: @inferred, @test, @testset, @test_throws
     @test space_isequal(ı ⊗ ı, gradedrange([ı => 1]))
     @test space_isequal(ı ⊗ τ, gradedrange([τ => 1]))
     @test space_isequal(τ ⊗ ı, gradedrange([τ => 1]))
-    @test space_isequal((@inferred τ ⊗ τ), gradedrange([ı => 1, τ => 1]))
-    @test (@inferred quantum_dimension(gradedrange([ı => 1, ı => 1]))) == 2.0
+    @test space_isequal((@constinferred τ ⊗ τ), gradedrange([ı => 1, τ => 1]))
+    @test (@constinferred quantum_dimension(gradedrange([ı => 1, ı => 1]))) == 2.0
   end
 
   @testset "Ising fusion rules" begin
@@ -122,8 +125,8 @@ using Test: @inferred, @test, @testset, @test_throws
     @test space_isequal(σ ⊗ ψ, gradedrange([σ => 1]))
     @test space_isequal(ψ ⊗ σ, gradedrange([σ => 1]))
     @test space_isequal(ψ ⊗ ψ, gradedrange([ı => 1]))
-    @test space_isequal((@inferred ψ ⊗ ψ), gradedrange([ı => 1]))
-    @test (@inferred quantum_dimension(σ ⊗ σ)) == 2.0
+    @test space_isequal((@constinferred ψ ⊗ ψ), gradedrange([ı => 1]))
+    @test (@constinferred quantum_dimension(σ ⊗ σ)) == 2.0
   end
 end
 @testset "Gradedrange fusion rules" begin
@@ -139,7 +142,7 @@ end
     g2 = gradedrange([U1(-2) => 2, U1(0) => 1, U1(1) => 2])
 
     @test space_isequal(flip(dual(g1)), gradedrange([U1(1) => 1, U1(0) => 1, U1(-1) => 2]))
-    @test (@inferred block_dimensions(g1)) == [1, 1, 2]
+    @test (@constinferred block_dimensions(g1)) == [1, 1, 2]
 
     gt = gradedrange([
       U1(-3) => 2,
@@ -155,8 +158,8 @@ end
     gf = gradedrange([
       U1(-3) => 2, U1(-2) => 2, U1(-1) => 5, U1(0) => 3, U1(1) => 4, U1(2) => 4
     ])
-    @test space_isequal((@inferred tensor_product(g1, g2)), gt)
-    @test space_isequal((@inferred fusion_product(g1, g2)), gf)
+    @test space_isequal((@constinferred tensor_product(g1, g2)), gt)
+    @test space_isequal((@constinferred fusion_product(g1, g2)), gf)
 
     gtd1 = gradedrange([
       U1(-1) => 2,
@@ -172,8 +175,8 @@ end
     gfd1 = gradedrange([
       U1(-3) => 4, U1(-2) => 2, U1(-1) => 4, U1(0) => 5, U1(1) => 3, U1(2) => 2
     ])
-    @test space_isequal((@inferred tensor_product(dual(g1), g2)), gtd1)
-    @test space_isequal((@inferred fusion_product(dual(g1), g2)), gfd1)
+    @test space_isequal((@constinferred tensor_product(dual(g1), g2)), gtd1)
+    @test space_isequal((@constinferred fusion_product(dual(g1), g2)), gfd1)
 
     gtd2 = gradedrange([
       U1(1) => 2,
@@ -189,8 +192,8 @@ end
     gfd2 = gradedrange([
       U1(-2) => 2, U1(-1) => 3, U1(0) => 5, U1(1) => 4, U1(2) => 2, U1(3) => 4
     ])
-    @test space_isequal((@inferred tensor_product(g1, dual(g2))), gtd2)
-    @test space_isequal((@inferred fusion_product(g1, dual(g2))), gfd2)
+    @test space_isequal((@constinferred tensor_product(g1, dual(g2))), gtd2)
+    @test space_isequal((@constinferred fusion_product(g1, dual(g2))), gfd2)
 
     gtd = gradedrange([
       U1(3) => 2,
@@ -206,8 +209,8 @@ end
     gfd = gradedrange([
       U1(-2) => 4, U1(-1) => 4, U1(0) => 3, U1(1) => 5, U1(2) => 2, U1(3) => 2
     ])
-    @test space_isequal((@inferred tensor_product(dual(g1), dual(g2))), gtd)
-    @test space_isequal((@inferred fusion_product(dual(g1), dual(g2))), gfd)
+    @test space_isequal((@constinferred tensor_product(dual(g1), dual(g2))), gtd)
+    @test space_isequal((@constinferred fusion_product(dual(g1), dual(g2))), gfd)
 
     # test different (non-product) sectors cannot be fused
     @test_throws MethodError fusion_product(gradedrange([Z{2}(0) => 1]), g1)
@@ -235,10 +238,10 @@ end
 
     @test space_isequal(dual(flip(g3)), g3)  # trivial for SU(2)
     @test space_isequal(
-      (@inferred fusion_product(g3, g4)),
+      (@constinferred fusion_product(g3, g4)),
       gradedrange([SU2(0) => 4, SU2(1//2) => 6, SU2(1) => 6, SU2(3//2) => 5, SU2(2) => 2]),
     )
-    @test (@inferred block_dimensions(g3)) == [1, 4, 3]
+    @test (@constinferred block_dimensions(g3)) == [1, 4, 3]
 
     # test dual on non self-conjugate non-abelian representations
     s1 = SU{3}((0, 0))
@@ -268,13 +271,13 @@ end
   @testset "Mixed GradedUnitRange - Sector fusion rules" begin
     g1 = gradedrange([U1(1) => 1, U1(2) => 2])
     g2 = gradedrange([U1(2) => 1, U1(3) => 2])
-    @test space_isequal((@inferred fusion_product(g1, U1(1))), g2)
-    @test space_isequal((@inferred fusion_product(U1(1), g1)), g2)
+    @test space_isequal((@constinferred fusion_product(g1, U1(1))), g2)
+    @test space_isequal((@constinferred fusion_product(U1(1), g1)), g2)
 
     g3 = gradedrange([SU2(0) => 1, SU2(1//2) => 2])
     g4 = gradedrange([SU2(0) => 2, SU2(1//2) => 1, SU2(1) => 2])
-    @test space_isequal((@inferred fusion_product(g3, SU2(1//2))), g4)
-    @test space_isequal((@inferred fusion_product(SU2(1//2), g3)), g4)
+    @test space_isequal((@constinferred fusion_product(g3, SU2(1//2))), g4)
+    @test space_isequal((@constinferred fusion_product(SU2(1//2), g3)), g4)
 
     # test different simple sectors cannot be fused
     @test_throws MethodError Z{2}(0) ⊗ U1(1)