{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/354","labels_url":"https://api.github.com/repos/rust-lang/rfcs/issues/354/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rfcs/issues/354/comments","events_url":"https://api.github.com/repos/rust-lang/rfcs/issues/354/events","html_url":"https://github.com/rust-lang/rfcs/issues/354","id":44933944,"number":354,"title":"Type ascription","user":{"login":"nick29581","id":762626,"avatar_url":"https://avatars.githubusercontent.com/u/762626?v=3","gravatar_id":"","url":"https://api.github.com/users/nick29581","html_url":"https://github.com/nick29581","followers_url":"https://api.github.com/users/nick29581/followers","following_url":"https://api.github.com/users/nick29581/following{/other_user}","gists_url":"https://api.github.com/users/nick29581/gists{/gist_id}","starred_url":"https://api.github.com/users/nick29581/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nick29581/subscriptions","organizations_url":"https://api.github.com/users/nick29581/orgs","repos_url":"https://api.github.com/users/nick29581/repos","events_url":"https://api.github.com/users/nick29581/events{/privacy}","received_events_url":"https://api.github.com/users/nick29581/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/rust-lang/rfcs/labels/postponed","name":"postponed","color":"fbca04"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":6,"created_at":"2014-10-06T00:02:16Z","updated_at":"2015-02-01T08:03:59Z","closed_at":null,"body":"Post-1.0, we would like to allow arbitrary type ascription - that is annotating any expression with a type. E.g., `let _ = foo(x, y: Bar<int>, z);` (type ascription on the sub-expression `y`).\r\n\r\nDetail to be nailed down - precedence (probably the same as `as`).\r\n\r\nOptional extra - type ascription on patterns, e.g. `let (x: Bar<int>, y) = foo(...);` - useful when you care about the type of some part of the pattern but not others, especially when the bits you don't care about are `_`.\r\n\r\nOptional, optional extra - using the ascribed types in pattern matching for downcasting (an extension of some #349 proposals)."},"comment":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/comments/72355744","html_url":"https://github.com/rust-lang/rfcs/issues/354#issuecomment-72355744","issue_url":"https://api.github.com/repos/rust-lang/rfcs/issues/354","id":72355744,"user":{"login":"1fish2","id":1043120,"avatar_url":"https://avatars.githubusercontent.com/u/1043120?v=3","gravatar_id":"","url":"https://api.github.com/users/1fish2","html_url":"https://github.com/1fish2","followers_url":"https://api.github.com/users/1fish2/followers","following_url":"https://api.github.com/users/1fish2/following{/other_user}","gists_url":"https://api.github.com/users/1fish2/gists{/gist_id}","starred_url":"https://api.github.com/users/1fish2/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/1fish2/subscriptions","organizations_url":"https://api.github.com/users/1fish2/orgs","repos_url":"https://api.github.com/users/1fish2/repos","events_url":"https://api.github.com/users/1fish2/events{/privacy}","received_events_url":"https://api.github.com/users/1fish2/received_events","type":"User","site_admin":false},"created_at":"2015-02-01T08:03:59Z","updated_at":"2015-02-01T08:03:59Z","body":"Indeed. Borrow the ideas that have proved themselves."}}