143143 @testset " Fusion of Abelian products" begin
144144 p1 = CategoryProduct (U1 (1 ))
145145 p2 = CategoryProduct (U1 (2 ))
146- @test (@inferred p1 ⊗ TrivialSector ()) == p1
147- @test (@inferred TrivialSector () ⊗ p2) == p2
146+ @test (@inferred_latest p1 ⊗ TrivialSector ()) == p1
147+ @test (@inferred_latest TrivialSector () ⊗ p2) == p2
148148 @test (@inferred_latest p1 ⊗ p2) == CategoryProduct (U1 (3 ))
149149
150150 p11 = U1 (1 ) × U1 (1 )
@@ -162,10 +162,11 @@ end
162162 p0 = CategoryProduct (SU2 (0 ))
163163 ph = CategoryProduct (SU2 (1 // 2 ))
164164 @test space_isequal (
165- (@inferred p0 ⊗ TrivialSector ()), gradedrange ([CategoryProduct (SU2 (0 )) => 1 ])
165+ (@inferred_latest p0 ⊗ TrivialSector ()), gradedrange ([CategoryProduct (SU2 (0 )) => 1 ])
166166 )
167167 @test space_isequal (
168- (@inferred TrivialSector () ⊗ ph), gradedrange ([CategoryProduct (SU2 (1 // 2 )) => 1 ])
168+ (@inferred_latest TrivialSector () ⊗ ph),
169+ gradedrange ([CategoryProduct (SU2 (1 // 2 )) => 1 ]),
169170 )
170171
171172 phh = SU2 (1 // 2 ) × SU2 (1 // 2 )
@@ -563,12 +564,12 @@ end
563564 @test s == CategoryProduct ((;))
564565 @test (@inferred dual (s)) == s
565566 @test (@inferred s × s) == s
566- @test (@inferred s ⊗ s) == s
567+ @test (@inferred_latest s ⊗ s) == s
567568 @test (@inferred quantum_dimension (s)) == 1
568569 @test (@inferred_latest trivial (s)) == s
569570
570571 g0 = gradedrange ([s => 2 ])
571- @test space_isequal ((@inferred fusion_product (g0, g0)), gradedrange ([s => 4 ]))
572+ @test space_isequal ((@inferred_latest fusion_product (g0, g0)), gradedrange ([s => 4 ]))
572573
573574 @test (@inferred s × U1 (1 )) == CategoryProduct (U1 (1 ))
574575 @test (@inferred s × CategoryProduct (U1 (1 ))) == CategoryProduct (U1 (1 ))
0 commit comments