{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/709","labels_url":"https://api.github.com/repos/rust-lang/rfcs/issues/709/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rfcs/issues/709/comments","events_url":"https://api.github.com/repos/rust-lang/rfcs/issues/709/events","html_url":"https://github.com/rust-lang/rfcs/pull/709","id":55216904,"number":709,"title":"RFC: truly unsized types","user":{"login":"mzabaluev","id":1198919,"avatar_url":"https://avatars.githubusercontent.com/u/1198919?v=3","gravatar_id":"","url":"https://api.github.com/users/mzabaluev","html_url":"https://github.com/mzabaluev","followers_url":"https://api.github.com/users/mzabaluev/followers","following_url":"https://api.github.com/users/mzabaluev/following{/other_user}","gists_url":"https://api.github.com/users/mzabaluev/gists{/gist_id}","starred_url":"https://api.github.com/users/mzabaluev/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mzabaluev/subscriptions","organizations_url":"https://api.github.com/users/mzabaluev/orgs","repos_url":"https://api.github.com/users/mzabaluev/repos","events_url":"https://api.github.com/users/mzabaluev/events{/privacy}","received_events_url":"https://api.github.com/users/mzabaluev/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":18,"created_at":"2015-01-22T22:16:05Z","updated_at":"2015-01-30T09:09:01Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/rust-lang/rfcs/pulls/709","html_url":"https://github.com/rust-lang/rfcs/pull/709","diff_url":"https://github.com/rust-lang/rfcs/pull/709.diff","patch_url":"https://github.com/rust-lang/rfcs/pull/709.patch"},"body":"Further subdivide unsized types into dynamically-sized types, implementing\r\nan intrinsic trait `DynamicSize`, and types of indeterminate size. References\r\nfor the latter kind will be thin, while allocating slots or copying values\r\nof such types is not possible outside unsafe code.\r\n\r\n[Rendered](https://github.com/mzabaluev/rust-rfcs/blob/truly-unsized/text/0000-truly-unsized-types.md)"},"comment":{"url":"https://api.github.com/repos/rust-lang/rfcs/issues/comments/72173080","html_url":"https://github.com/rust-lang/rfcs/pull/709#issuecomment-72173080","issue_url":"https://api.github.com/repos/rust-lang/rfcs/issues/709","id":72173080,"user":{"login":"mzabaluev","id":1198919,"avatar_url":"https://avatars.githubusercontent.com/u/1198919?v=3","gravatar_id":"","url":"https://api.github.com/users/mzabaluev","html_url":"https://github.com/mzabaluev","followers_url":"https://api.github.com/users/mzabaluev/followers","following_url":"https://api.github.com/users/mzabaluev/following{/other_user}","gists_url":"https://api.github.com/users/mzabaluev/gists{/gist_id}","starred_url":"https://api.github.com/users/mzabaluev/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mzabaluev/subscriptions","organizations_url":"https://api.github.com/users/mzabaluev/orgs","repos_url":"https://api.github.com/users/mzabaluev/repos","events_url":"https://api.github.com/users/mzabaluev/events{/privacy}","received_events_url":"https://api.github.com/users/mzabaluev/received_events","type":"User","site_admin":false},"created_at":"2015-01-30T09:09:01Z","updated_at":"2015-01-30T09:09:01Z","body":"@Diggsey If I understood your proposal about `DynamicSize::Ptr` correctly, the `DynamicSize` trait is meant for the DSTs in their current form only, and a thin-pointer requirement would still need a negative bound on that (or a positive bound on its complement provided by the compiler), right?"}}