{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/1440","repository_url":"https://api.github.com/repos/rust-lang/rfcs","labels_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1440/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1440/comments","events_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1440/events","html_url":"https://github.com/rust-lang/rfcs/pull/1440","id":124545207,"number":1440,"title":"RFC - Allow Drop types in statics/const functions","user":{"login":"thepowersgang","id":955596,"avatar_url":"https://avatars.githubusercontent.com/u/955596?v=3","gravatar_id":"","url":"https://api.github.com/users/thepowersgang","html_url":"https://github.com/thepowersgang","followers_url":"https://api.github.com/users/thepowersgang/followers","following_url":"https://api.github.com/users/thepowersgang/following{/other_user}","gists_url":"https://api.github.com/users/thepowersgang/gists{/gist_id}","starred_url":"https://api.github.com/users/thepowersgang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/thepowersgang/subscriptions","organizations_url":"https://api.github.com/users/thepowersgang/orgs","repos_url":"https://api.github.com/users/thepowersgang/repos","events_url":"https://api.github.com/users/thepowersgang/events{/privacy}","received_events_url":"https://api.github.com/users/thepowersgang/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/rust-lang/rfcs/labels/final-comment-period","name":"final-comment-period","color":"207de5"},{"url":"https://api.github.com/repos/rust-lang/rfcs/labels/T-lang","name":"T-lang","color":"bfd4f2"}],"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":41,"created_at":"2016-01-01T13:46:10Z","updated_at":"2016-04-21T19:23:23Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/rust-lang/rfcs/pulls/1440","html_url":"https://github.com/rust-lang/rfcs/pull/1440","diff_url":"https://github.com/rust-lang/rfcs/pull/1440.diff","patch_url":"https://github.com/rust-lang/rfcs/pull/1440.patch"},"body":"This addresses #913 and rust-lang/rust#30667\r\n\r\n[rendered](https://github.com/thepowersgang/rust-lang_rfcs/blob/drop-types-in-const/text/0000-drop-types-in-const.md)"},"comment":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/comments/213078661","html_url":"https://github.com/rust-lang/rfcs/pull/1440#issuecomment-213078661","issue_url":"https://api.github.com/repos/rust-lang/rfcs/issues/1440","id":213078661,"user":{"login":"arielb1","id":1830974,"avatar_url":"https://avatars.githubusercontent.com/u/1830974?v=3","gravatar_id":"","url":"https://api.github.com/users/arielb1","html_url":"https://github.com/arielb1","followers_url":"https://api.github.com/users/arielb1/followers","following_url":"https://api.github.com/users/arielb1/following{/other_user}","gists_url":"https://api.github.com/users/arielb1/gists{/gist_id}","starred_url":"https://api.github.com/users/arielb1/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/arielb1/subscriptions","organizations_url":"https://api.github.com/users/arielb1/orgs","repos_url":"https://api.github.com/users/arielb1/repos","events_url":"https://api.github.com/users/arielb1/events{/privacy}","received_events_url":"https://api.github.com/users/arielb1/received_events","type":"User","site_admin":false},"created_at":"2016-04-21T19:23:23Z","updated_at":"2016-04-21T19:23:23Z","body":"@aturon \r\n\r\nAgain: the invariant Drop statics break is that there is no accessible data with destructors after `main` returns. This can't really be a safety invariant - after `main` returns, your program is not running anymore (and because Rust is not a total language, it is *very* easy to prevent `main` from ever possibly returning). \r\n\r\nIt is somewhat useful if you want to use `valgrind` to prove the absence of *inaccessible* data (`mem::forget`-style leaks), but that does not seem to be that interesting, especially because valgrind already separates accessible from inaccessible data."}}