From c6049baeaf326d7791e4f76e04c625c61ffc2a7c Mon Sep 17 00:00:00 2001 From: Matthew Woodcraft Date: Mon, 29 Jan 2024 22:09:49 +0000 Subject: [PATCH] Cover enums in the refutability rule for tuple struct patterns --- src/patterns.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/patterns.md b/src/patterns.md index 65c73f5..c4811a6 100644 --- a/src/patterns.md +++ b/src/patterns.md @@ -688,7 +688,7 @@ A struct pattern is refutable if the _PathInExpression_ resolves to a constructo Tuple struct patterns match tuple struct and enum values that match all criteria defined by its subpatterns. They are also used to [destructure](#destructuring) a tuple struct or enum value. -A tuple struct pattern is refutable when one of its subpatterns is refutable. +A tuple struct pattern is refutable if the _PathInExpression_ resolves to a constructor of an enum with more than one variant, or one of its subpatterns is refutable. ## Tuple patterns