fix uninferable type

Roger-luo · Apr 5, 2021 · 276b0d5 · 276b0d5
1 parent 807c6bf
commit 276b0d5
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/src/analysis.jl b/src/analysis.jl
@@ -341,7 +341,7 @@ function uninferrable_typevars(def::Union{JLStruct, JLKwStruct})
 
     uninferrable = []
     for T in typevars
-        T in field_types || push!(uninferrable, T)
+        any(map(f->has_symbol(f, T), field_types)) || push!(uninferrable, T)
     end
     return uninferrable
 end

diff --git a/test/analysis.jl b/test/analysis.jl
@@ -6,6 +6,20 @@ using Expronicon
     @test is_fn(:(x -> 2x))
 end
 
+@testset "uninferrable_typevars" begin
+    def = @expr JLKwStruct struct Inferable1{T}
+        x::Constaint{T, <(2)}
+    end
+
+    @test isempty(uninferrable_typevars(def))
+
+    def = @expr JLKwStruct struct Inferable2{T}
+        x::Constaint{Float64, <(2)}
+    end
+
+    @test uninferrable_typevars(def) == [:T]    
+end
+
 @testset "is_kw_fn" begin
     @test is_kw_fn(:(
         function foo(x::Int; kw=1)