{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/1951","repository_url":"https://api.github.com/repos/rust-lang/rfcs","labels_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1951/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1951/comments","events_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1951/events","html_url":"https://github.com/rust-lang/rfcs/pull/1951","id":214291853,"number":1951,"title":"RFC: Expand and stabilize `impl Trait`","user":{"login":"aturon","id":709807,"avatar_url":"https://avatars1.githubusercontent.com/u/709807?v=3","gravatar_id":"","url":"https://api.github.com/users/aturon","html_url":"https://github.com/aturon","followers_url":"https://api.github.com/users/aturon/followers","following_url":"https://api.github.com/users/aturon/following{/other_user}","gists_url":"https://api.github.com/users/aturon/gists{/gist_id}","starred_url":"https://api.github.com/users/aturon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aturon/subscriptions","organizations_url":"https://api.github.com/users/aturon/orgs","repos_url":"https://api.github.com/users/aturon/repos","events_url":"https://api.github.com/users/aturon/events{/privacy}","received_events_url":"https://api.github.com/users/aturon/received_events","type":"User","site_admin":false},"labels":[{"id":211667886,"url":"https://api.github.com/repos/rust-lang/rfcs/labels/T-lang","name":"T-lang","color":"bfd4f2","default":false}],"state":"open","locked":false,"assignee":{"login":"aturon","id":709807,"avatar_url":"https://avatars1.githubusercontent.com/u/709807?v=3","gravatar_id":"","url":"https://api.github.com/users/aturon","html_url":"https://github.com/aturon","followers_url":"https://api.github.com/users/aturon/followers","following_url":"https://api.github.com/users/aturon/following{/other_user}","gists_url":"https://api.github.com/users/aturon/gists{/gist_id}","starred_url":"https://api.github.com/users/aturon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aturon/subscriptions","organizations_url":"https://api.github.com/users/aturon/orgs","repos_url":"https://api.github.com/users/aturon/repos","events_url":"https://api.github.com/users/aturon/events{/privacy}","received_events_url":"https://api.github.com/users/aturon/received_events","type":"User","site_admin":false},"assignees":[{"login":"aturon","id":709807,"avatar_url":"https://avatars1.githubusercontent.com/u/709807?v=3","gravatar_id":"","url":"https://api.github.com/users/aturon","html_url":"https://github.com/aturon","followers_url":"https://api.github.com/users/aturon/followers","following_url":"https://api.github.com/users/aturon/following{/other_user}","gists_url":"https://api.github.com/users/aturon/gists{/gist_id}","starred_url":"https://api.github.com/users/aturon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aturon/subscriptions","organizations_url":"https://api.github.com/users/aturon/orgs","repos_url":"https://api.github.com/users/aturon/repos","events_url":"https://api.github.com/users/aturon/events{/privacy}","received_events_url":"https://api.github.com/users/aturon/received_events","type":"User","site_admin":false}],"milestone":null,"comments":107,"created_at":"2017-03-15T06:04:11Z","updated_at":"2017-04-10T19:02:21Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/rust-lang/rfcs/pulls/1951","html_url":"https://github.com/rust-lang/rfcs/pull/1951","diff_url":"https://github.com/rust-lang/rfcs/pull/1951.diff","patch_url":"https://github.com/rust-lang/rfcs/pull/1951.patch"},"body":"This RFC proposes several steps forward for `impl Trait`:\r\n\r\n- Settling on a particular syntax design, resolving questions around the\r\n  `some`/`any` proposal and others.\r\n\r\n- Resolving questions around which type and lifetime parameters are considered\r\n  in scope for an `impl Trait`.\r\n\r\n- Adding `impl Trait` to several new locations: argument positions, trait items,\r\n  and trait impls.\r\n\r\nThe first two proposals, in particular, put us into a position to stabilize the\r\ncurrent version of the feature in the near future.\r\n\r\n[Rendered](https://github.com/aturon/rfcs/blob/expand-impl-trait/text/0000-expand-impl-trait.md)"},"comment":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/comments/293046916","html_url":"https://github.com/rust-lang/rfcs/pull/1951#issuecomment-293046916","issue_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1951","id":293046916,"user":{"login":"LPTK","id":2545083,"avatar_url":"https://avatars0.githubusercontent.com/u/2545083?v=3","gravatar_id":"","url":"https://api.github.com/users/LPTK","html_url":"https://github.com/LPTK","followers_url":"https://api.github.com/users/LPTK/followers","following_url":"https://api.github.com/users/LPTK/following{/other_user}","gists_url":"https://api.github.com/users/LPTK/gists{/gist_id}","starred_url":"https://api.github.com/users/LPTK/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/LPTK/subscriptions","organizations_url":"https://api.github.com/users/LPTK/orgs","repos_url":"https://api.github.com/users/LPTK/repos","events_url":"https://api.github.com/users/LPTK/events{/privacy}","received_events_url":"https://api.github.com/users/LPTK/received_events","type":"User","site_admin":false},"created_at":"2017-04-10T19:02:21Z","updated_at":"2017-04-10T19:02:21Z","body":"> That would create parsing ambiguities\r\n\r\nRight! I don't know why I didn't see that at the time of writing... It would have to be something like\r\n`fn name<universals>(params) -> (ret) <existentials>` or\r\n`fn name<universals>(params) -> ret for <existentials>`.\r\n\r\n> It also would require names to be referenced before they're bound, which is generally weird parsing-wise.\r\n\r\nI don't think this is a big problem. From experience in Scala where we have the existential syntax `List[T] forSome { type T }`, one gets used to it."}}
{"actor":{"display_login":"LPTK"}}