diff --git a/test/inference.jl b/test/inference.jl
index 8aabc33b337b6..10aceeec290ca 100644
--- a/test/inference.jl
+++ b/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}