Skip to content

Commit 4c6f899

Browse files
committed
Add examples from #43082 to test.
1 parent d7d8db0 commit 4c6f899

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

test/subtype.jl

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2010,9 +2010,13 @@ let T = TypeVar(:T, Real),
20102010
@test !(UnionAll(T, UnionAll(V, UnionAll(T, S))) <: UnionAll(T, UnionAll(V, S)))
20112011
end
20122012

2013-
# issue 41096
2013+
# issue #41096
20142014
let C = Val{Val{B}} where {B}
20152015
@testintersect(Val{<:Union{Missing, Val{false}, Val{true}}}, C, Val{<:Union{Val{true}, Val{false}}})
20162016
@testintersect(Val{<:Union{Nothing, Val{true}, Val{false}}}, C, Val{<:Union{Val{true}, Val{false}}})
20172017
@testintersect(Val{<:Union{Nothing, Val{false}}}, C, Val{Val{false}})
20182018
end
2019+
2020+
#issue #43082
2021+
struct X43082{A, I, B<:Union{Ref{I},I}}; end
2022+
@testintersect(Tuple{X43082{T}, Int} where T, Tuple{X43082{Int}, Any}, Tuple{X43082{Int}, Int})

0 commit comments

Comments
 (0)