{"action":"created","issue":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/7258","labels_url":"https://api.github.com/repos/JuliaLang/julia/issues/7258/labels{/name}","comments_url":"https://api.github.com/repos/JuliaLang/julia/issues/7258/comments","events_url":"https://api.github.com/repos/JuliaLang/julia/issues/7258/events","html_url":"https://github.com/JuliaLang/julia/issues/7258","id":35713664,"number":7258,"title":"type-inference-independent comprehensions","user":{"login":"StefanKarpinski","id":153596,"avatar_url":"https://avatars.githubusercontent.com/u/153596?v=3","gravatar_id":"","url":"https://api.github.com/users/StefanKarpinski","html_url":"https://github.com/StefanKarpinski","followers_url":"https://api.github.com/users/StefanKarpinski/followers","following_url":"https://api.github.com/users/StefanKarpinski/following{/other_user}","gists_url":"https://api.github.com/users/StefanKarpinski/gists{/gist_id}","starred_url":"https://api.github.com/users/StefanKarpinski/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/StefanKarpinski/subscriptions","organizations_url":"https://api.github.com/users/StefanKarpinski/orgs","repos_url":"https://api.github.com/users/StefanKarpinski/repos","events_url":"https://api.github.com/users/StefanKarpinski/events{/privacy}","received_events_url":"https://api.github.com/users/StefanKarpinski/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/JuliaLang/julia/labels/breaking","name":"breaking","color":"800000"},{"url":"https://api.github.com/repos/JuliaLang/julia/labels/decision","name":"decision","color":"F08000"}],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/JuliaLang/julia/milestones/11","html_url":"https://github.com/JuliaLang/julia/milestones/0.4.0","labels_url":"https://api.github.com/repos/JuliaLang/julia/milestones/11/labels","id":748886,"number":11,"title":"0.4.0","description":"For tracking release-defining items for 0.4: important new features, breaking changes, and blocking bugs.\r\n\r\nAfter a brief period for deciding scope, adding issues to this milestone is not allowed. Once the items in this milestone are done, 0.4 will enter its stabilizing period and a release candidate can be made soon after.","creator":{"login":"JeffBezanson","id":744556,"avatar_url":"https://avatars.githubusercontent.com/u/744556?v=3","gravatar_id":"","url":"https://api.github.com/users/JeffBezanson","html_url":"https://github.com/JeffBezanson","followers_url":"https://api.github.com/users/JeffBezanson/followers","following_url":"https://api.github.com/users/JeffBezanson/following{/other_user}","gists_url":"https://api.github.com/users/JeffBezanson/gists{/gist_id}","starred_url":"https://api.github.com/users/JeffBezanson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JeffBezanson/subscriptions","organizations_url":"https://api.github.com/users/JeffBezanson/orgs","repos_url":"https://api.github.com/users/JeffBezanson/repos","events_url":"https://api.github.com/users/JeffBezanson/events{/privacy}","received_events_url":"https://api.github.com/users/JeffBezanson/received_events","type":"User","site_admin":false},"open_issues":26,"closed_issues":41,"state":"open","created_at":"2014-08-10T18:13:46Z","updated_at":"2015-05-04T14:25:12Z","due_on":"2015-06-20T18:30:00Z","closed_at":null},"comments":43,"created_at":"2014-06-13T22:55:22Z","updated_at":"2015-05-06T22:05:06Z","closed_at":null,"body":"https://groups.google.com/forum/#!topic/julia-dev/DF8LUiH7FP4\r\n\r\nI was looking for an issue for this but realized that it wasn't a GitHub issue yet. Now it is."},"comment":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/comments/99623599","html_url":"https://github.com/JuliaLang/julia/issues/7258#issuecomment-99623599","issue_url":"https://api.github.com/repos/JuliaLang/julia/issues/7258","id":99623599,"user":{"login":"simonster","id":470884,"avatar_url":"https://avatars.githubusercontent.com/u/470884?v=3","gravatar_id":"","url":"https://api.github.com/users/simonster","html_url":"https://github.com/simonster","followers_url":"https://api.github.com/users/simonster/followers","following_url":"https://api.github.com/users/simonster/following{/other_user}","gists_url":"https://api.github.com/users/simonster/gists{/gist_id}","starred_url":"https://api.github.com/users/simonster/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/simonster/subscriptions","organizations_url":"https://api.github.com/users/simonster/orgs","repos_url":"https://api.github.com/users/simonster/repos","events_url":"https://api.github.com/users/simonster/events{/privacy}","received_events_url":"https://api.github.com/users/simonster/received_events","type":"User","site_admin":false},"created_at":"2015-05-06T22:05:06Z","updated_at":"2015-05-06T22:05:06Z","body":"Besides `push!`, the other problem case that I don't see discussed here is:\r\n\r\n```julia\r\nf(::Vector{Int}) = true\r\ng(x::Vector{Int}) = f([y+1 for y in x])\r\ng(Int[])\r\n```\r\n\r\nUnfortunately I don't think there is a way around this. This is a further argument for using `Union()` as the element type in that at least:\r\n\r\n```julia\r\nf{T<:Integer}(::Vector{T}) = true\r\ng{T<:Integer}(x::Vector{T}) = f([y+1 for y in x])\r\ng(Int[])\r\n```\r\n\r\nwould still work."}}