{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rust/issues/54943","repository_url":"https://api.github.com/repos/rust-lang/rust","labels_url":"https://api.github.com/repos/rust-lang/rust/issues/54943/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rust/issues/54943/comments","events_url":"https://api.github.com/repos/rust-lang/rust/issues/54943/events","html_url":"https://github.com/rust-lang/rust/issues/54943","id":368417678,"node_id":"MDU6SXNzdWUzNjg0MTc2Nzg=","number":54943,"title":"NLL doesn't check that user type annotations are well-formed in unreachable code","user":{"login":"matthewjasper","id":20113453,"node_id":"MDQ6VXNlcjIwMTEzNDUz","avatar_url":"https://avatars1.githubusercontent.com/u/20113453?v=4","gravatar_id":"","url":"https://api.github.com/users/matthewjasper","html_url":"https://github.com/matthewjasper","followers_url":"https://api.github.com/users/matthewjasper/followers","following_url":"https://api.github.com/users/matthewjasper/following{/other_user}","gists_url":"https://api.github.com/users/matthewjasper/gists{/gist_id}","starred_url":"https://api.github.com/users/matthewjasper/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/matthewjasper/subscriptions","organizations_url":"https://api.github.com/users/matthewjasper/orgs","repos_url":"https://api.github.com/users/matthewjasper/repos","events_url":"https://api.github.com/users/matthewjasper/events{/privacy}","received_events_url":"https://api.github.com/users/matthewjasper/received_events","type":"User","site_admin":false},"labels":[{"id":604489711,"node_id":"MDU6TGFiZWw2MDQ0ODk3MTE=","url":"https://api.github.com/repos/rust-lang/rust/labels/A-NLL","name":"A-NLL","color":"d7e102","default":false},{"id":178802147,"node_id":"MDU6TGFiZWwxNzg4MDIxNDc=","url":"https://api.github.com/repos/rust-lang/rust/labels/I-needs-decision","name":"I-needs-decision","color":"e11d21","default":false},{"id":867466592,"node_id":"MDU6TGFiZWw4Njc0NjY1OTI=","url":"https://api.github.com/repos/rust-lang/rust/labels/NLL-sound","name":"NLL-sound","color":"f799ea","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/rust-lang/rust/milestones/55","html_url":"https://github.com/rust-lang/rust/milestone/55","labels_url":"https://api.github.com/repos/rust-lang/rust/milestones/55/labels","id":3463307,"node_id":"MDk6TWlsZXN0b25lMzQ2MzMwNw==","number":55,"title":"Rust 2018 Release","description":"See https://internals.rust-lang.org/t/rust-2018-the-home-stretch/7810","creator":{"login":"nikomatsakis","id":155238,"node_id":"MDQ6VXNlcjE1NTIzOA==","avatar_url":"https://avatars0.githubusercontent.com/u/155238?v=4","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},"open_issues":20,"closed_issues":20,"state":"open","created_at":"2018-06-29T18:51:49Z","updated_at":"2018-10-30T17:52:52Z","due_on":"2018-12-06T08:00:00Z","closed_at":null},"comments":3,"created_at":"2018-10-09T22:07:08Z","updated_at":"2018-11-06T14:34:53Z","closed_at":null,"author_association":"CONTRIBUTOR","body":" #54942 checks well-formedness in the general case, but unreachable code is deleted before NLL can check it. \r\n\r\nFor example, [this test](https://github.com/rust-lang/rust/blob/0e07c4281c343e9e15a0a8fca79538ad1a8eb513/src/test/ui/regions/regions-outlives-projection-container-wc.rs) still compiles with NLL enabled.\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/rust-lang/rust/issues/comments/436273417","html_url":"https://github.com/rust-lang/rust/issues/54943#issuecomment-436273417","issue_url":"https://api.github.com/repos/rust-lang/rust/issues/54943","id":436273417,"node_id":"MDEyOklzc3VlQ29tbWVudDQzNjI3MzQxNw==","user":{"login":"pnkfelix","id":173127,"node_id":"MDQ6VXNlcjE3MzEyNw==","avatar_url":"https://avatars0.githubusercontent.com/u/173127?v=4","gravatar_id":"","url":"https://api.github.com/users/pnkfelix","html_url":"https://github.com/pnkfelix","followers_url":"https://api.github.com/users/pnkfelix/followers","following_url":"https://api.github.com/users/pnkfelix/following{/other_user}","gists_url":"https://api.github.com/users/pnkfelix/gists{/gist_id}","starred_url":"https://api.github.com/users/pnkfelix/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pnkfelix/subscriptions","organizations_url":"https://api.github.com/users/pnkfelix/orgs","repos_url":"https://api.github.com/users/pnkfelix/repos","events_url":"https://api.github.com/users/pnkfelix/events{/privacy}","received_events_url":"https://api.github.com/users/pnkfelix/received_events","type":"User","site_admin":false},"created_at":"2018-11-06T14:34:53Z","updated_at":"2018-11-06T14:34:53Z","author_association":"MEMBER","body":"triage: Either this is something that we're planning to implement *and* backport to the beta channel... or its something that is not *that* high priority.\r\n\r\nGiven that this is an NLL-sound issue, I'm going to assume that it is indeed high priority and belongs on the Release milestone.\r\n\r\nThus, tagging as P-high"}}
{"actor":{"display_login":"pnkfelix"}}