{"action":"created","issue":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/29534","repository_url":"https://api.github.com/repos/JuliaLang/julia","labels_url":"https://api.github.com/repos/JuliaLang/julia/issues/29534/labels{/name}","comments_url":"https://api.github.com/repos/JuliaLang/julia/issues/29534/comments","events_url":"https://api.github.com/repos/JuliaLang/julia/issues/29534/events","html_url":"https://github.com/JuliaLang/julia/issues/29534","id":367146404,"node_id":"MDU6SXNzdWUzNjcxNDY0MDQ=","number":29534,"title":"UnionAll comparison does not take order of parameters into account","user":{"login":"mauro3","id":4098145,"node_id":"MDQ6VXNlcjQwOTgxNDU=","avatar_url":"https://avatars1.githubusercontent.com/u/4098145?v=4","gravatar_id":"","url":"https://api.github.com/users/mauro3","html_url":"https://github.com/mauro3","followers_url":"https://api.github.com/users/mauro3/followers","following_url":"https://api.github.com/users/mauro3/following{/other_user}","gists_url":"https://api.github.com/users/mauro3/gists{/gist_id}","starred_url":"https://api.github.com/users/mauro3/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mauro3/subscriptions","organizations_url":"https://api.github.com/users/mauro3/orgs","repos_url":"https://api.github.com/users/mauro3/repos","events_url":"https://api.github.com/users/mauro3/events{/privacy}","received_events_url":"https://api.github.com/users/mauro3/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-10-05T10:13:08Z","updated_at":"2018-10-05T11:59:42Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"```julia\r\njulia> (Tuple{A,B} where {A,B}) == (Tuple{A,B} where {B,A})                                                                                                             \r\ntrue                                                                                                                                                                    \r\n\r\njulia> (Tuple{A,B} where {A,B}){1,2} == (Tuple{A,B} where {B,A}){1,2}                                                                                                   \r\nfalse                                                                                                                                                                   \r\n```\r\nI'd argue that the first should also compare false.  Or is there a reason for them to be the same?\r\n\r\nx-ref: https://discourse.julialang.org/t/behaviour-of-nested-alias-type-parameters/15893/4"},"comment":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/comments/427340957","html_url":"https://github.com/JuliaLang/julia/issues/29534#issuecomment-427340957","issue_url":"https://api.github.com/repos/JuliaLang/julia/issues/29534","id":427340957,"node_id":"MDEyOklzc3VlQ29tbWVudDQyNzM0MDk1Nw==","user":{"login":"mauro3","id":4098145,"node_id":"MDQ6VXNlcjQwOTgxNDU=","avatar_url":"https://avatars1.githubusercontent.com/u/4098145?v=4","gravatar_id":"","url":"https://api.github.com/users/mauro3","html_url":"https://github.com/mauro3","followers_url":"https://api.github.com/users/mauro3/followers","following_url":"https://api.github.com/users/mauro3/following{/other_user}","gists_url":"https://api.github.com/users/mauro3/gists{/gist_id}","starred_url":"https://api.github.com/users/mauro3/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mauro3/subscriptions","organizations_url":"https://api.github.com/users/mauro3/orgs","repos_url":"https://api.github.com/users/mauro3/repos","events_url":"https://api.github.com/users/mauro3/events{/privacy}","received_events_url":"https://api.github.com/users/mauro3/received_events","type":"User","site_admin":false},"created_at":"2018-10-05T11:59:42Z","updated_at":"2018-10-05T11:59:42Z","author_association":"CONTRIBUTOR","body":"Using the wording of Jeff in https://github.com/JuliaLang/julia/issues/29368: they should be \"semantically equal\" if the compare true with `==`, but I would argue that the second example suggests that they are semantically different."}}
{"actor":{"display_login":"mauro3"}}