{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/1657","repository_url":"https://api.github.com/repos/rust-lang/rfcs","labels_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1657/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1657/comments","events_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1657/events","html_url":"https://github.com/rust-lang/rfcs/pull/1657","id":161660199,"number":1657,"title":"RFC: const-dependent type system.","user":{"login":"ticki","id":13349091,"avatar_url":"https://avatars.githubusercontent.com/u/13349091?v=3","gravatar_id":"","url":"https://api.github.com/users/ticki","html_url":"https://github.com/ticki","followers_url":"https://api.github.com/users/ticki/followers","following_url":"https://api.github.com/users/ticki/following{/other_user}","gists_url":"https://api.github.com/users/ticki/gists{/gist_id}","starred_url":"https://api.github.com/users/ticki/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ticki/subscriptions","organizations_url":"https://api.github.com/users/ticki/orgs","repos_url":"https://api.github.com/users/ticki/repos","events_url":"https://api.github.com/users/ticki/events{/privacy}","received_events_url":"https://api.github.com/users/ticki/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/rust-lang/rfcs/labels/T-lang","name":"T-lang","color":"bfd4f2"}],"state":"open","locked":false,"assignee":{"login":"aturon","id":709807,"avatar_url":"https://avatars.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://avatars.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":194,"created_at":"2016-06-22T11:43:28Z","updated_at":"2016-07-01T06:42:23Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/rust-lang/rfcs/pulls/1657","html_url":"https://github.com/rust-lang/rfcs/pull/1657","diff_url":"https://github.com/rust-lang/rfcs/pull/1657.diff","patch_url":"https://github.com/rust-lang/rfcs/pull/1657.patch"},"body":"Introduce Π type constructors for Rust.\r\n\r\n[Rendered](https://github.com/ticki/rfcs/blob/pi-types/text/0000-pi-types.md)"},"comment":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/comments/229866971","html_url":"https://github.com/rust-lang/rfcs/pull/1657#issuecomment-229866971","issue_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1657","id":229866971,"user":{"login":"comex","id":47517,"avatar_url":"https://avatars.githubusercontent.com/u/47517?v=3","gravatar_id":"","url":"https://api.github.com/users/comex","html_url":"https://github.com/comex","followers_url":"https://api.github.com/users/comex/followers","following_url":"https://api.github.com/users/comex/following{/other_user}","gists_url":"https://api.github.com/users/comex/gists{/gist_id}","starred_url":"https://api.github.com/users/comex/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/comex/subscriptions","organizations_url":"https://api.github.com/users/comex/orgs","repos_url":"https://api.github.com/users/comex/repos","events_url":"https://api.github.com/users/comex/events{/privacy}","received_events_url":"https://api.github.com/users/comex/received_events","type":"User","site_admin":false},"created_at":"2016-07-01T06:42:23Z","updated_at":"2016-07-01T06:42:23Z","body":"> @glaebhoerl @eternaleye @paholg @DemiMarie The decidability of the typechecking depends entirely on the decidability of constexprs.\r\n\r\nJust to be clear, this is true as it relates to this feature, but @pahlog was also correct in stating that Rust's type system is already Turing complete without it."}}
{"actor":{"display_login":"comex"}}