{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rust/issues/26158","repository_url":"https://api.github.com/repos/rust-lang/rust","labels_url":"https://api.github.com/repos/rust-lang/rust/issues/26158/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rust/issues/26158/comments","events_url":"https://api.github.com/repos/rust-lang/rust/issues/26158/events","html_url":"https://github.com/rust-lang/rust/issues/26158","id":86771352,"number":26158,"title":"Nested slice pattern incorrectly considered irrefutable","user":{"login":"eefriedman","id":12769964,"avatar_url":"https://avatars.githubusercontent.com/u/12769964?v=3","gravatar_id":"","url":"https://api.github.com/users/eefriedman","html_url":"https://github.com/eefriedman","followers_url":"https://api.github.com/users/eefriedman/followers","following_url":"https://api.github.com/users/eefriedman/following{/other_user}","gists_url":"https://api.github.com/users/eefriedman/gists{/gist_id}","starred_url":"https://api.github.com/users/eefriedman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eefriedman/subscriptions","organizations_url":"https://api.github.com/users/eefriedman/orgs","repos_url":"https://api.github.com/users/eefriedman/repos","events_url":"https://api.github.com/users/eefriedman/events{/privacy}","received_events_url":"https://api.github.com/users/eefriedman/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/rust-lang/rust/labels/A-typesystem","name":"A-typesystem","color":"d7e102"},{"url":"https://api.github.com/repos/rust-lang/rust/labels/I-wrong","name":"I-wrong","color":"e10c02"},{"url":"https://api.github.com/repos/rust-lang/rust/labels/T-lang","name":"T-lang","color":"bfd4f2"}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2015-06-09T23:42:55Z","updated_at":"2016-07-27T21:00:04Z","closed_at":"2016-07-27T21:00:04Z","body":"Testcase:\r\n```rust\r\n#![feature(slice_patterns)]\r\nfn main() { let x: &[String] = &[]; let [[ref _a, _b..]..] = x; }\r\n```\r\n\r\nThis clearly shouldn't type-check, but currently compiles without any error."},"comment":{"url":"https://api.github.com/repos/rust-lang/rust/issues/comments/235719194","html_url":"https://github.com/rust-lang/rust/issues/26158#issuecomment-235719194","issue_url":"https://api.github.com/repos/rust-lang/rust/issues/26158","id":235719194,"user":{"login":"eefriedman","id":12769964,"avatar_url":"https://avatars.githubusercontent.com/u/12769964?v=3","gravatar_id":"","url":"https://api.github.com/users/eefriedman","html_url":"https://github.com/eefriedman","followers_url":"https://api.github.com/users/eefriedman/followers","following_url":"https://api.github.com/users/eefriedman/following{/other_user}","gists_url":"https://api.github.com/users/eefriedman/gists{/gist_id}","starred_url":"https://api.github.com/users/eefriedman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eefriedman/subscriptions","organizations_url":"https://api.github.com/users/eefriedman/orgs","repos_url":"https://api.github.com/users/eefriedman/repos","events_url":"https://api.github.com/users/eefriedman/events{/privacy}","received_events_url":"https://api.github.com/users/eefriedman/received_events","type":"User","site_admin":false},"created_at":"2016-07-27T21:00:04Z","updated_at":"2016-07-27T21:00:04Z","body":"This is outdated since the slice pattern rewrite.  Filed #35077 as a followup."}}
{"actor":{"display_login":"eefriedman"}}