Tests for issue JuliaLang#12721

mauro3 · Jan 17, 2017 · 9b8be01 · 9b8be01
1 parent 8c6254d
commit 9b8be01
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/test/inference.jl b/test/inference.jl
@@ -515,3 +515,7 @@ f18348{T<:Any}(::Type{T}, x::T) = 2
 # Issue #11803
 @test TypeVar(:T, Int) <: Int
 @test TypeVar(:T, Union{Int,Float64}) <: Union{Int,Float64}
+
+# Issue #12721
+f12721{T<:Type{Int}}(::T) = true;
+f12721(Float64)