+The framework already promised this: §24.4 says a short declared on a member is an ordinary flag short, the refusal for a short on the selector itself says "declare the short on a member", and the short-claim table, the help renderer and the two sibling-scope short guards already read a member's short. Only Go could produce one. The short now goes on the declaration each member shape puts its electing flag on -- choice({value: {carrier, help, short}}) for a payload-carrying member, choice({help, short}) for a payload-less one -- and declaring it anywhere else is a compile error where the type system can see it and a registration error where it cannot.
0 commit comments