{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/1578","repository_url":"https://api.github.com/repos/rust-lang/rfcs","labels_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1578/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1578/comments","events_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1578/events","html_url":"https://github.com/rust-lang/rfcs/pull/1578","id":147202272,"number":1578,"title":"RFC for a Rust Memory Model","user":{"login":"ubsan","id":3479021,"avatar_url":"https://avatars.githubusercontent.com/u/3479021?v=3","gravatar_id":"","url":"https://api.github.com/users/ubsan","html_url":"https://github.com/ubsan","followers_url":"https://api.github.com/users/ubsan/followers","following_url":"https://api.github.com/users/ubsan/following{/other_user}","gists_url":"https://api.github.com/users/ubsan/gists{/gist_id}","starred_url":"https://api.github.com/users/ubsan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ubsan/subscriptions","organizations_url":"https://api.github.com/users/ubsan/orgs","repos_url":"https://api.github.com/users/ubsan/repos","events_url":"https://api.github.com/users/ubsan/events{/privacy}","received_events_url":"https://api.github.com/users/ubsan/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2016-04-10T07:17:09Z","updated_at":"2016-04-10T08:38:47Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/rust-lang/rfcs/pulls/1578","html_url":"https://github.com/rust-lang/rfcs/pull/1578","diff_url":"https://github.com/rust-lang/rfcs/pull/1578.diff","patch_url":"https://github.com/rust-lang/rfcs/pull/1578.patch"},"body":"with thanks to Amanieu, huonw, durka42, aatch, acrichto, nmatsakis, and anyone\r\nelse I might have missed.\r\n\r\nFixes, or at least starts the process of fixing, #1447 "},"comment":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/comments/207945670","html_url":"https://github.com/rust-lang/rfcs/pull/1578#issuecomment-207945670","issue_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1578","id":207945670,"user":{"login":"ubsan","id":3479021,"avatar_url":"https://avatars.githubusercontent.com/u/3479021?v=3","gravatar_id":"","url":"https://api.github.com/users/ubsan","html_url":"https://github.com/ubsan","followers_url":"https://api.github.com/users/ubsan/followers","following_url":"https://api.github.com/users/ubsan/following{/other_user}","gists_url":"https://api.github.com/users/ubsan/gists{/gist_id}","starred_url":"https://api.github.com/users/ubsan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ubsan/subscriptions","organizations_url":"https://api.github.com/users/ubsan/orgs","repos_url":"https://api.github.com/users/ubsan/repos","events_url":"https://api.github.com/users/ubsan/events{/privacy}","received_events_url":"https://api.github.com/users/ubsan/received_events","type":"User","site_admin":false},"created_at":"2016-04-10T08:38:47Z","updated_at":"2016-04-10T08:38:47Z","body":"It's not that they're only allowed to be read through a pointer of a correct type. It's that if they are then used, it's undefined behavior for them to be aliased."}}