test for JuliaLang#12580

mauro3 · Jan 17, 2017 · 17a1af2 · 17a1af2
1 parent 8313964
commit 17a1af2
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/test/inference.jl b/test/inference.jl
@@ -494,3 +494,10 @@ immutable MyType18457{T,F,G}<:AbstractMyType18457{T,F,G} end
 tpara18457{I}(::Type{AbstractMyType18457{I}}) = I
 tpara18457{A<:AbstractMyType18457}(::Type{A}) = tpara18457(supertype(A))
 @test tpara18457(MyType18457{true}) === true
+
+# Issue #12580
+abstract AbstractMyType12580{T}
+immutable MyType12580{T}<:AbstractMyType12580{T} end
+tpara{A<:AbstractMyType12580}(::Type{A}) = tpara(supertype(A))
+tpara{I}(::Type{AbstractMyType12580{I}}) = I
+@test tpara(MyType12580{true})