{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang-nursery/nomicon/issues/17","repository_url":"https://api.github.com/repos/rust-lang-nursery/nomicon","labels_url":"https://api.github.com/repos/rust-lang-nursery/nomicon/issues/17/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang-nursery/nomicon/issues/17/comments","events_url":"https://api.github.com/repos/rust-lang-nursery/nomicon/issues/17/events","html_url":"https://github.com/rust-lang-nursery/nomicon/issues/17","id":226392777,"node_id":"MDU6SXNzdWUyMjYzOTI3Nzc=","number":17,"title":"Rework drop check stuff, it's probably outdated","user":{"login":"Gankro","id":1136864,"node_id":"MDQ6VXNlcjExMzY4NjQ=","avatar_url":"https://avatars1.githubusercontent.com/u/1136864?v=4","gravatar_id":"","url":"https://api.github.com/users/Gankro","html_url":"https://github.com/Gankro","followers_url":"https://api.github.com/users/Gankro/followers","following_url":"https://api.github.com/users/Gankro/following{/other_user}","gists_url":"https://api.github.com/users/Gankro/gists{/gist_id}","starred_url":"https://api.github.com/users/Gankro/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Gankro/subscriptions","organizations_url":"https://api.github.com/users/Gankro/orgs","repos_url":"https://api.github.com/users/Gankro/repos","events_url":"https://api.github.com/users/Gankro/events{/privacy}","received_events_url":"https://api.github.com/users/Gankro/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-05-04T20:02:52Z","updated_at":"2018-09-03T19:52:19Z","closed_at":null,"author_association":"COLLABORATOR","body":"I don't really understand or care about the new rules (they mostly just plug super-degenerate-you'll-probably-never-see-this holes in the language, afaict), but they're different and any discussion of dropcheck is probably wrong now.\r\n\r\nCC @pnkfelix "},"comment":{"url":"https://api.github.com/repos/rust-lang-nursery/nomicon/issues/comments/418184466","html_url":"https://github.com/rust-lang-nursery/nomicon/issues/17#issuecomment-418184466","issue_url":"https://api.github.com/repos/rust-lang-nursery/nomicon/issues/17","id":418184466,"node_id":"MDEyOklzc3VlQ29tbWVudDQxODE4NDQ2Ng==","user":{"login":"Emerentius","id":9992929,"node_id":"MDQ6VXNlcjk5OTI5Mjk=","avatar_url":"https://avatars3.githubusercontent.com/u/9992929?v=4","gravatar_id":"","url":"https://api.github.com/users/Emerentius","html_url":"https://github.com/Emerentius","followers_url":"https://api.github.com/users/Emerentius/followers","following_url":"https://api.github.com/users/Emerentius/following{/other_user}","gists_url":"https://api.github.com/users/Emerentius/gists{/gist_id}","starred_url":"https://api.github.com/users/Emerentius/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Emerentius/subscriptions","organizations_url":"https://api.github.com/users/Emerentius/orgs","repos_url":"https://api.github.com/users/Emerentius/repos","events_url":"https://api.github.com/users/Emerentius/events{/privacy}","received_events_url":"https://api.github.com/users/Emerentius/received_events","type":"User","site_admin":false},"created_at":"2018-09-03T19:52:19Z","updated_at":"2018-09-03T19:52:19Z","author_association":"NONE","body":"One thing I didn't understand in the nomicon, is how dropck interacts with PhantomData. [One section](https://doc.rust-lang.org/nomicon/phantom-data.html#phantomdata) says for a hypothetical `Vec` without `PhantomData<T>`\r\n\r\n> The drop checker will generously determine that Vec<T> does not own any values of type T. This will in turn make it conclude that it doesn't need to worry about Vec dropping any T's in its destructor for determining drop check soundness. This will in turn allow people to create unsoundness using Vec's destructor.\r\n\r\nThere's no example for how this could be done and I couldn't construct one myself. "}}
{"actor":{"display_login":"Emerentius"}}