test for JuliaLang#11803

Author: mauro3

test/inference.jl

@@ -511,3 +511,7 @@ f18348{T<:Any}(::Type{T}, x::T) = 2
 @test Symmetric{Float64,Matrix{Float64}} <: LinAlg.RealHermSymComplexHerm
 @test Hermitian{Float64,Matrix{Float64}} <: LinAlg.RealHermSymComplexHerm
 @test Hermitian{Complex{Float64},Matrix{Complex{Float64}}} <: LinAlg.RealHermSymComplexHerm
+
+# Issue #11803
+@test TypeVar(:T, Int) <: Int
+@test TypeVar(:T, Union{Int,Float64}) <: Union{Int,Float64}