Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

StackOverflowError in subtyping due to comparison of TypeVar against Union{} #38279

Closed
vtjnash opened this issue Nov 2, 2020 · 0 comments
Closed

StackOverflowError in subtyping due to comparison of TypeVar against Union{} #38279

vtjnash opened this issue Nov 2, 2020 · 0 comments
Assignees
@JeffBezanson
Labels
bug Indicates an unexpected problem or unintended behavior types and dispatch Types, subtyping and method dispatch

Comments

@vtjnash
Copy link
Member

vtjnash commented Nov 2, 2020

This fails on v1.0 through master plus #38245 with a StackOverflow due to an infinite loop when subtyping attempts to test whether Union{} is a subtype of T<:Real.

T = Tuple{<:Array{T, N}, Val{T}} where {T<:Real, N}
S = Tuple{<:Array{T, N}, Val{<:AbstractString}}  where {T<:Real, N}
@test typeintersect(T, S) == Tuple{<:Array{Union{}, N}, Val{Union{}}} where N
@vtjnash vtjnash added bug Indicates an unexpected problem or unintended behavior types and dispatch Types, subtyping and method dispatch labels Nov 2, 2020
JeffBezanson added a commit that referenced this issue Nov 3, 2020
@JeffBezanson
fix #22787, another bounds circularity in type intersection
4121fcc 
also fix #38279
JeffBezanson added a commit that referenced this issue Nov 3, 2020
@JeffBezanson
fix #38279, yet another bounds circularity in type intersection
a6b149c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JeffBezanson JeffBezanson

Labels
bug Indicates an unexpected problem or unintended behavior types and dispatch Types, subtyping and method dispatch
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@vtjnash @JeffBezanson