From f55e5bfe20b074e7601fc4220a99bfb96c49147b Mon Sep 17 00:00:00 2001 From: JordonPhillips Date: Fri, 25 Feb 2022 22:16:37 +0100 Subject: [PATCH] Clarify enum value defaulting --- designs/enum-shapes.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/designs/enum-shapes.md b/designs/enum-shapes.md index 22bd57af930..8f16a86828a 100644 --- a/designs/enum-shapes.md +++ b/designs/enum-shapes.md @@ -127,9 +127,11 @@ Every enum shape MUST define at least one member. #### enum members always have a value -Enum members that have neither the `@enumValue` nor the `@enumDefault` trait -are indistinguishable from members that have an `@enumValue` trait whose trait -value is equal to the enum member's name. +If an enum member doesn't have an explicit `@enumValue` or `@enumDefault` trait, +an `@enumValue` trait will be automatically added to the member where the trait +value is the member's name. This means that enum members that have neither the +`@enumValue` nor the `@enumDefault` trait are indistinguishable from enum members +that have the `@enumValue` trait explicitly set. The following model: