Add recursive type tests

Author: topolarity

test/trimming/trimming.jl

@@ -56,4 +56,26 @@ let exe_suffix = splitext(Base.julia_exename())[2]
     @test abi["types"][CVectorPair_Float32["fields"][1]["type_id"]]["name"] == "CVector{Float32}"
     @test abi["types"][CVectorPair_Float32["fields"][2]["type_id"]]["name"] == "CVector{Float32}"
     @test CVectorPair_Float32["size"] == 32
+
+    # `CTree{Float64}` should have been exported with the correct info
+    @test any(Bool[type["name"] == "CTree{Float64}" for type in abi["types"]])
+    CTree_Float64_id = findfirst(type["name"] == "CTree{Float64}" for type in abi["types"])
+    CTree_Float64 = abi["types"][CTree_Float64_id]
+    @test length(CTree_Float64["fields"]) == 1
+    @test CTree_Float64["fields"][1]["offset"] == 0
+    CVector_CTree_Float64 = abi["types"][CTree_Float64["fields"][1]["type_id"]]
+    @test CVector_CTree_Float64["name"] == "CVector{CTree{Float64}}"
+    @test CTree_Float64["size"] == sizeof(UInt) * 2
+
+    # `CVector{CTree{Float64}}` should have been exported with the correct info
+    @test length(CVector_CTree_Float64["fields"]) == 2
+    @test CVector_CTree_Float64["fields"][1]["offset"] == 0
+    @test CVector_CTree_Float64["fields"][2]["offset"] == sizeof(UInt)
+    @test abi["types"][CVector_CTree_Float64["fields"][1]["type_id"]]["name"] == "Int32"
+    @test abi["types"][CVector_CTree_Float64["fields"][2]["type_id"]]["name"] == "Ptr{CTree{Float64}}"
+    @test CVector_CTree_Float64["size"] == sizeof(UInt) * 2
+
+    # `Ptr{CTree{Float64}}` should refer (recursively) back to the original type id
+    Ptr_CTree_Float64 = abi["types"][CVector_CTree_Float64["fields"][2]["type_id"]]
+    @test Ptr_CTree_Float64["pointee_type_id"] == CTree_Float64_id
 end