{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rust/issues/23116","labels_url":"https://api.github.com/repos/rust-lang/rust/issues/23116/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rust/issues/23116/comments","events_url":"https://api.github.com/repos/rust-lang/rust/issues/23116/events","html_url":"https://github.com/rust-lang/rust/issues/23116","id":60102362,"number":23116,"title":"ref mut bindings fail to enforce invariance","user":{"login":"nikomatsakis","id":155238,"avatar_url":"https://avatars.githubusercontent.com/u/155238?v=3","gravatar_id":"","url":"https://api.github.com/users/nikomatsakis","html_url":"https://github.com/nikomatsakis","followers_url":"https://api.github.com/users/nikomatsakis/followers","following_url":"https://api.github.com/users/nikomatsakis/following{/other_user}","gists_url":"https://api.github.com/users/nikomatsakis/gists{/gist_id}","starred_url":"https://api.github.com/users/nikomatsakis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikomatsakis/subscriptions","organizations_url":"https://api.github.com/users/nikomatsakis/orgs","repos_url":"https://api.github.com/users/nikomatsakis/repos","events_url":"https://api.github.com/users/nikomatsakis/events{/privacy}","received_events_url":"https://api.github.com/users/nikomatsakis/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"nikomatsakis","id":155238,"avatar_url":"https://avatars.githubusercontent.com/u/155238?v=3","gravatar_id":"","url":"https://api.github.com/users/nikomatsakis","html_url":"https://github.com/nikomatsakis","followers_url":"https://api.github.com/users/nikomatsakis/followers","following_url":"https://api.github.com/users/nikomatsakis/following{/other_user}","gists_url":"https://api.github.com/users/nikomatsakis/gists{/gist_id}","starred_url":"https://api.github.com/users/nikomatsakis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikomatsakis/subscriptions","organizations_url":"https://api.github.com/users/nikomatsakis/orgs","repos_url":"https://api.github.com/users/nikomatsakis/repos","events_url":"https://api.github.com/users/nikomatsakis/events{/privacy}","received_events_url":"https://api.github.com/users/nikomatsakis/received_events","type":"User","site_admin":false},"milestone":null,"comments":1,"created_at":"2015-03-06T13:36:17Z","updated_at":"2015-03-06T13:46:11Z","closed_at":null,"body":"As originally \"reported\" [here](https://github.com/rust-lang/rfcs/pull/803#issuecomment-77545262), ref mut bindings are not working properly:\r\n\r\n```rust\r\n#![allow(dead_code)]\r\nuse std::fmt::Debug;\r\nstruct S(Box<Debug + 'static>);\r\nimpl S {\r\n    fn bar<'a>(&'a mut self)->&'a mut Box<Debug + 'a> {\r\n        match self.0 { ref mut x => x } // should not compile, but does\r\n    }\r\n}\r\nfn main() {}\r\n```\r\n"},"comment":{"url":"https://api.github.com/repos/rust-lang/rust/issues/comments/77560435","html_url":"https://github.com/rust-lang/rust/issues/23116#issuecomment-77560435","issue_url":"https://api.github.com/repos/rust-lang/rust/issues/23116","id":77560435,"user":{"login":"nikomatsakis","id":155238,"avatar_url":"https://avatars.githubusercontent.com/u/155238?v=3","gravatar_id":"","url":"https://api.github.com/users/nikomatsakis","html_url":"https://github.com/nikomatsakis","followers_url":"https://api.github.com/users/nikomatsakis/followers","following_url":"https://api.github.com/users/nikomatsakis/following{/other_user}","gists_url":"https://api.github.com/users/nikomatsakis/gists{/gist_id}","starred_url":"https://api.github.com/users/nikomatsakis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikomatsakis/subscriptions","organizations_url":"https://api.github.com/users/nikomatsakis/orgs","repos_url":"https://api.github.com/users/nikomatsakis/repos","events_url":"https://api.github.com/users/nikomatsakis/events{/privacy}","received_events_url":"https://api.github.com/users/nikomatsakis/received_events","type":"User","site_admin":false},"created_at":"2015-03-06T13:46:11Z","updated_at":"2015-03-06T13:46:11Z","body":"triage: P-backcompat-lang (1.0 beta) -- soundness violation"}}