{"action":"created","comment":{"url":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/comments/243847717","pull_request_review_id":187719599,"id":243847717,"node_id":"MDI0OlB1bGxSZXF1ZXN0UmV2aWV3Q29tbWVudDI0Mzg0NzcxNw==","diff_hunk":"@@ -0,0 +1,13 @@\n+/*\n+ * Use of this source code is governed by the MIT license that can be\n+ * found in the LICENSE file.\n+ */\n+\n+package org.rust.lang.core.psi.ext\n+\n+import org.rust.lang.core.psi.*\n+\n+val RsPat.isRefutable: Boolean get() = when (this) {\n+    is RsPatTupleStruct, is RsPatRange, is RsPatConst, is RsPatStruct -> true","path":"src/main/kotlin/org/rust/lang/core/psi/ext/RsPat.kt","position":11,"original_position":11,"commit_id":"0e8f4baabfcf6b48947266f68366b3047e571318","original_commit_id":"0e8f4baabfcf6b48947266f68366b3047e571318","user":{"login":"mchernyavsky","id":6079006,"node_id":"MDQ6VXNlcjYwNzkwMDY=","avatar_url":"https://avatars2.githubusercontent.com/u/6079006?v=4","gravatar_id":"","url":"https://api.github.com/users/mchernyavsky","html_url":"https://github.com/mchernyavsky","followers_url":"https://api.github.com/users/mchernyavsky/followers","following_url":"https://api.github.com/users/mchernyavsky/following{/other_user}","gists_url":"https://api.github.com/users/mchernyavsky/gists{/gist_id}","starred_url":"https://api.github.com/users/mchernyavsky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchernyavsky/subscriptions","organizations_url":"https://api.github.com/users/mchernyavsky/orgs","repos_url":"https://api.github.com/users/mchernyavsky/repos","events_url":"https://api.github.com/users/mchernyavsky/events{/privacy}","received_events_url":"https://api.github.com/users/mchernyavsky/received_events","type":"User","site_admin":false},"body":"You need to recursively check this property:\r\n\r\n```rust\r\nif let (1, 2)   = ... // refutable\r\nif let (x, y)   = ... // irrefutable\r\n\r\nif let [1, 2]   = ... // refutable\r\nif let [x, y]   = ... // irrefutable\r\n\r\nif let S { 42 } = ... // refutable\r\nif let S { x }  = ... // irrefutable\r\n\r\nif let S(42)    = ... // refutable\r\nif let S(x)     = ... // irrefutable\r\n\r\nif let box 42   = ... // refutable\r\nif let box x    = ... // irrefutable\r\n```","created_at":"2018-12-24T17:17:20Z","updated_at":"2018-12-24T17:17:20Z","html_url":"https://github.com/intellij-rust/intellij-rust/pull/3157#discussion_r243847717","pull_request_url":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/3157","author_association":"MEMBER","_links":{"self":{"href":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/comments/243847717"},"html":{"href":"https://github.com/intellij-rust/intellij-rust/pull/3157#discussion_r243847717"},"pull_request":{"href":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/3157"}}},"pull_request":{"url":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/3157","id":239529096,"node_id":"MDExOlB1bGxSZXF1ZXN0MjM5NTI5MDk2","html_url":"https://github.com/intellij-rust/intellij-rust/pull/3157","diff_url":"https://github.com/intellij-rust/intellij-rust/pull/3157.diff","patch_url":"https://github.com/intellij-rust/intellij-rust/pull/3157.patch","issue_url":"https://api.github.com/repos/intellij-rust/intellij-rust/issues/3157","number":3157,"state":"open","locked":false,"title":"INT: Fix 'match to if let' intention","user":{"login":"Dimonchik0036","id":22503910,"node_id":"MDQ6VXNlcjIyNTAzOTEw","avatar_url":"https://avatars3.githubusercontent.com/u/22503910?v=4","gravatar_id":"","url":"https://api.github.com/users/Dimonchik0036","html_url":"https://github.com/Dimonchik0036","followers_url":"https://api.github.com/users/Dimonchik0036/followers","following_url":"https://api.github.com/users/Dimonchik0036/following{/other_user}","gists_url":"https://api.github.com/users/Dimonchik0036/gists{/gist_id}","starred_url":"https://api.github.com/users/Dimonchik0036/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Dimonchik0036/subscriptions","organizations_url":"https://api.github.com/users/Dimonchik0036/orgs","repos_url":"https://api.github.com/users/Dimonchik0036/repos","events_url":"https://api.github.com/users/Dimonchik0036/events{/privacy}","received_events_url":"https://api.github.com/users/Dimonchik0036/received_events","type":"User","site_admin":false},"body":"","created_at":"2018-12-18T15:26:12Z","updated_at":"2018-12-24T17:17:20Z","closed_at":null,"merged_at":null,"merge_commit_sha":"142781c560c0991a2a97c30b78e4b79565901a0a","assignee":{"login":"mchernyavsky","id":6079006,"node_id":"MDQ6VXNlcjYwNzkwMDY=","avatar_url":"https://avatars2.githubusercontent.com/u/6079006?v=4","gravatar_id":"","url":"https://api.github.com/users/mchernyavsky","html_url":"https://github.com/mchernyavsky","followers_url":"https://api.github.com/users/mchernyavsky/followers","following_url":"https://api.github.com/users/mchernyavsky/following{/other_user}","gists_url":"https://api.github.com/users/mchernyavsky/gists{/gist_id}","starred_url":"https://api.github.com/users/mchernyavsky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchernyavsky/subscriptions","organizations_url":"https://api.github.com/users/mchernyavsky/orgs","repos_url":"https://api.github.com/users/mchernyavsky/repos","events_url":"https://api.github.com/users/mchernyavsky/events{/privacy}","received_events_url":"https://api.github.com/users/mchernyavsky/received_events","type":"User","site_admin":false},"assignees":[{"login":"mchernyavsky","id":6079006,"node_id":"MDQ6VXNlcjYwNzkwMDY=","avatar_url":"https://avatars2.githubusercontent.com/u/6079006?v=4","gravatar_id":"","url":"https://api.github.com/users/mchernyavsky","html_url":"https://github.com/mchernyavsky","followers_url":"https://api.github.com/users/mchernyavsky/followers","following_url":"https://api.github.com/users/mchernyavsky/following{/other_user}","gists_url":"https://api.github.com/users/mchernyavsky/gists{/gist_id}","starred_url":"https://api.github.com/users/mchernyavsky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchernyavsky/subscriptions","organizations_url":"https://api.github.com/users/mchernyavsky/orgs","repos_url":"https://api.github.com/users/mchernyavsky/repos","events_url":"https://api.github.com/users/mchernyavsky/events{/privacy}","received_events_url":"https://api.github.com/users/mchernyavsky/received_events","type":"User","site_admin":false}],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/3157/commits","review_comments_url":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/3157/comments","review_comment_url":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/comments{/number}","comments_url":"https://api.github.com/repos/intellij-rust/intellij-rust/issues/3157/comments","statuses_url":"https://api.github.com/repos/intellij-rust/intellij-rust/statuses/0e8f4baabfcf6b48947266f68366b3047e571318","head":{"label":"Dimonchik0036:fix-match-to-if-let","ref":"fix-match-to-if-let","sha":"0e8f4baabfcf6b48947266f68366b3047e571318","user":{"login":"Dimonchik0036","id":22503910,"node_id":"MDQ6VXNlcjIyNTAzOTEw","avatar_url":"https://avatars3.githubusercontent.com/u/22503910?v=4","gravatar_id":"","url":"https://api.github.com/users/Dimonchik0036","html_url":"https://github.com/Dimonchik0036","followers_url":"https://api.github.com/users/Dimonchik0036/followers","following_url":"https://api.github.com/users/Dimonchik0036/following{/other_user}","gists_url":"https://api.github.com/users/Dimonchik0036/gists{/gist_id}","starred_url":"https://api.github.com/users/Dimonchik0036/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Dimonchik0036/subscriptions","organizations_url":"https://api.github.com/users/Dimonchik0036/orgs","repos_url":"https://api.github.com/users/Dimonchik0036/repos","events_url":"https://api.github.com/users/Dimonchik0036/events{/privacy}","received_events_url":"https://api.github.com/users/Dimonchik0036/received_events","type":"User","site_admin":false},"repo":{"id":130724764,"node_id":"MDEwOlJlcG9zaXRvcnkxMzA3MjQ3NjQ=","name":"intellij-rust","full_name":"Dimonchik0036/intellij-rust","private":false,"owner":{"login":"Dimonchik0036","id":22503910,"node_id":"MDQ6VXNlcjIyNTAzOTEw","avatar_url":"https://avatars3.githubusercontent.com/u/22503910?v=4","gravatar_id":"","url":"https://api.github.com/users/Dimonchik0036","html_url":"https://github.com/Dimonchik0036","followers_url":"https://api.github.com/users/Dimonchik0036/followers","following_url":"https://api.github.com/users/Dimonchik0036/following{/other_user}","gists_url":"https://api.github.com/users/Dimonchik0036/gists{/gist_id}","starred_url":"https://api.github.com/users/Dimonchik0036/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Dimonchik0036/subscriptions","organizations_url":"https://api.github.com/users/Dimonchik0036/orgs","repos_url":"https://api.github.com/users/Dimonchik0036/repos","events_url":"https://api.github.com/users/Dimonchik0036/events{/privacy}","received_events_url":"https://api.github.com/users/Dimonchik0036/received_events","type":"User","site_admin":false},"html_url":"https://github.com/Dimonchik0036/intellij-rust","description":"Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/","fork":true,"url":"https://api.github.com/repos/Dimonchik0036/intellij-rust","forks_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/forks","keys_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/teams","hooks_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/hooks","issue_events_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/issues/events{/number}","events_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/events","assignees_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/assignees{/user}","branches_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/branches{/branch}","tags_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/tags","blobs_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/git/refs{/sha}","trees_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/statuses/{sha}","languages_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/languages","stargazers_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/stargazers","contributors_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/contributors","subscribers_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/subscribers","subscription_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/subscription","commits_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/commits{/sha}","git_commits_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/git/commits{/sha}","comments_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/comments{/number}","issue_comment_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/issues/comments{/number}","contents_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/contents/{+path}","compare_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/merges","archive_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/downloads","issues_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/issues{/number}","pulls_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/pulls{/number}","milestones_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/milestones{/number}","notifications_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/labels{/name}","releases_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/releases{/id}","deployments_url":"https://api.github.com/repos/Dimonchik0036/intellij-rust/deployments","created_at":"2018-04-23T16:19:26Z","updated_at":"2018-12-18T15:05:21Z","pushed_at":"2018-12-20T17:50:21Z","git_url":"git://github.com/Dimonchik0036/intellij-rust.git","ssh_url":"git@github.com:Dimonchik0036/intellij-rust.git","clone_url":"https://github.com/Dimonchik0036/intellij-rust.git","svn_url":"https://github.com/Dimonchik0036/intellij-rust","homepage":"","size":21702,"stargazers_count":0,"watchers_count":0,"language":"Kotlin","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":0,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"intellij-rust:master","ref":"master","sha":"aa1f6c141697c35a207e42bc7719efc5b11145bb","user":{"login":"intellij-rust","id":16057867,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE2MDU3ODY3","avatar_url":"https://avatars0.githubusercontent.com/u/16057867?v=4","gravatar_id":"","url":"https://api.github.com/users/intellij-rust","html_url":"https://github.com/intellij-rust","followers_url":"https://api.github.com/users/intellij-rust/followers","following_url":"https://api.github.com/users/intellij-rust/following{/other_user}","gists_url":"https://api.github.com/users/intellij-rust/gists{/gist_id}","starred_url":"https://api.github.com/users/intellij-rust/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/intellij-rust/subscriptions","organizations_url":"https://api.github.com/users/intellij-rust/orgs","repos_url":"https://api.github.com/users/intellij-rust/repos","events_url":"https://api.github.com/users/intellij-rust/events{/privacy}","received_events_url":"https://api.github.com/users/intellij-rust/received_events","type":"Organization","site_admin":false},"repo":{"id":42619487,"node_id":"MDEwOlJlcG9zaXRvcnk0MjYxOTQ4Nw==","name":"intellij-rust","full_name":"intellij-rust/intellij-rust","private":false,"owner":{"login":"intellij-rust","id":16057867,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE2MDU3ODY3","avatar_url":"https://avatars0.githubusercontent.com/u/16057867?v=4","gravatar_id":"","url":"https://api.github.com/users/intellij-rust","html_url":"https://github.com/intellij-rust","followers_url":"https://api.github.com/users/intellij-rust/followers","following_url":"https://api.github.com/users/intellij-rust/following{/other_user}","gists_url":"https://api.github.com/users/intellij-rust/gists{/gist_id}","starred_url":"https://api.github.com/users/intellij-rust/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/intellij-rust/subscriptions","organizations_url":"https://api.github.com/users/intellij-rust/orgs","repos_url":"https://api.github.com/users/intellij-rust/repos","events_url":"https://api.github.com/users/intellij-rust/events{/privacy}","received_events_url":"https://api.github.com/users/intellij-rust/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/intellij-rust/intellij-rust","description":"Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/","fork":false,"url":"https://api.github.com/repos/intellij-rust/intellij-rust","forks_url":"https://api.github.com/repos/intellij-rust/intellij-rust/forks","keys_url":"https://api.github.com/repos/intellij-rust/intellij-rust/keys{/key_id}","collaborators_url":"https://api.github.com/repos/intellij-rust/intellij-rust/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/intellij-rust/intellij-rust/teams","hooks_url":"https://api.github.com/repos/intellij-rust/intellij-rust/hooks","issue_events_url":"https://api.github.com/repos/intellij-rust/intellij-rust/issues/events{/number}","events_url":"https://api.github.com/repos/intellij-rust/intellij-rust/events","assignees_url":"https://api.github.com/repos/intellij-rust/intellij-rust/assignees{/user}","branches_url":"https://api.github.com/repos/intellij-rust/intellij-rust/branches{/branch}","tags_url":"https://api.github.com/repos/intellij-rust/intellij-rust/tags","blobs_url":"https://api.github.com/repos/intellij-rust/intellij-rust/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/intellij-rust/intellij-rust/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/intellij-rust/intellij-rust/git/refs{/sha}","trees_url":"https://api.github.com/repos/intellij-rust/intellij-rust/git/trees{/sha}","statuses_url":"https://api.github.com/repos/intellij-rust/intellij-rust/statuses/{sha}","languages_url":"https://api.github.com/repos/intellij-rust/intellij-rust/languages","stargazers_url":"https://api.github.com/repos/intellij-rust/intellij-rust/stargazers","contributors_url":"https://api.github.com/repos/intellij-rust/intellij-rust/contributors","subscribers_url":"https://api.github.com/repos/intellij-rust/intellij-rust/subscribers","subscription_url":"https://api.github.com/repos/intellij-rust/intellij-rust/subscription","commits_url":"https://api.github.com/repos/intellij-rust/intellij-rust/commits{/sha}","git_commits_url":"https://api.github.com/repos/intellij-rust/intellij-rust/git/commits{/sha}","comments_url":"https://api.github.com/repos/intellij-rust/intellij-rust/comments{/number}","issue_comment_url":"https://api.github.com/repos/intellij-rust/intellij-rust/issues/comments{/number}","contents_url":"https://api.github.com/repos/intellij-rust/intellij-rust/contents/{+path}","compare_url":"https://api.github.com/repos/intellij-rust/intellij-rust/compare/{base}...{head}","merges_url":"https://api.github.com/repos/intellij-rust/intellij-rust/merges","archive_url":"https://api.github.com/repos/intellij-rust/intellij-rust/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/intellij-rust/intellij-rust/downloads","issues_url":"https://api.github.com/repos/intellij-rust/intellij-rust/issues{/number}","pulls_url":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls{/number}","milestones_url":"https://api.github.com/repos/intellij-rust/intellij-rust/milestones{/number}","notifications_url":"https://api.github.com/repos/intellij-rust/intellij-rust/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/intellij-rust/intellij-rust/labels{/name}","releases_url":"https://api.github.com/repos/intellij-rust/intellij-rust/releases{/id}","deployments_url":"https://api.github.com/repos/intellij-rust/intellij-rust/deployments","created_at":"2015-09-16T23:44:57Z","updated_at":"2018-12-24T15:55:08Z","pushed_at":"2018-12-24T15:45:12Z","git_url":"git://github.com/intellij-rust/intellij-rust.git","ssh_url":"git@github.com:intellij-rust/intellij-rust.git","clone_url":"https://github.com/intellij-rust/intellij-rust.git","svn_url":"https://github.com/intellij-rust/intellij-rust","homepage":"","size":21842,"stargazers_count":2130,"watchers_count":2130,"language":"Kotlin","has_issues":true,"has_projects":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":206,"mirror_url":null,"archived":false,"open_issues_count":366,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"forks":206,"open_issues":366,"watchers":2130,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/3157"},"html":{"href":"https://github.com/intellij-rust/intellij-rust/pull/3157"},"issue":{"href":"https://api.github.com/repos/intellij-rust/intellij-rust/issues/3157"},"comments":{"href":"https://api.github.com/repos/intellij-rust/intellij-rust/issues/3157/comments"},"review_comments":{"href":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/3157/comments"},"review_comment":{"href":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/intellij-rust/intellij-rust/pulls/3157/commits"},"statuses":{"href":"https://api.github.com/repos/intellij-rust/intellij-rust/statuses/0e8f4baabfcf6b48947266f68366b3047e571318"}},"author_association":"CONTRIBUTOR"}}
{"actor":{"display_login":"mchernyavsky"}}