-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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.
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
Subtype relationships not detected with certain cases of Tuple{T,T} #20130
Comments
this is correct.
no, |
I am reopening this issue because seems that julia> (Tuple{Union{},Union{}}) <: (Tuple{X{T},X{T}} where T)
true
julia> (Tuple{Union{},Union{}}) <: (Tuple{T,T} where T <: X)
true |
Yes, I think we could eventually make |
So... we're not going to end up with method ambiguity errors when one doesn't deal with the (im)possibility of slots being |
|
#20006 which needs rebasing to just be the last couple commits - we should probably change the default there, since the test that used to be verifying base was ambiguity-free is (hopefully temporarily) disabled |
@andyferris No; type intersection treats |
OK, thanks for the clarification (phew!) |
Tuple{Union{}} can no longer be constructed, so can we close this? |
Given
Given
(the following observation was incorrect)
The text was updated successfully, but these errors were encountered: