Feedback Thread: DIP 1044--Enum Type Inference--Community Review Round 1

[Paul Backus]

On Friday, 18 November 2022 at 15:38:59 UTC, Mike Parker wrote:
> ## Feedback Thread
>
> This is the feedback thread for the first round of Community 
> Review of DIP 1044, "Enum Type Inference".

The second paragraph of the "Description" section reads as 
follows:

> In principle, ETI should be allowed anywhere that an enum type 
> is known unambiguously at compile-time. The following is a 
> (non-exhaustive) list of circumstances in which ETI will be 
> permitted.

This kind of vagueness is acceptable in a draft, but cannot be 
allowed in the final DIP. The description of the proposal must be 
complete and unambiguous.

Remember: if this DIP is ever implemented, the implementer(s) 
will be relying on the DIP to determine what to implement, and 
the reviewers will also be relying on the DIP to determine 
whether the implementation is correct. Even if you plan to do the 
implementation yourself, the DIP must give the reviewers enough 
information that they can check your work.