Add a test throws an error by invalid subtyping in definition (JuliaL…

…ang#20523)
wookay · Feb 9, 2017 · 6450075 · 6450075
1 parent ddb1e1e
commit 6450075
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/subtype.jl b/test/subtype.jl
@@ -911,3 +911,6 @@ ftwoparams(::TwoParams{<:Real,<:Real}) = 3
 @test TwoParams{Real,Complex}(3,0im) isa TwoParams{>:Int,<:Number}
 @test !(TwoParams(3.0,0im) isa TwoParams{>:Int,<:Number})
 @test !(TwoParams(3,'x') isa TwoParams{>:Int,<:Number})
+
+# Issue #20523
+@test_throws ErrorException immutable A20523 <: Base.AbstractSet; end