DIP1044---"Enum Type Inference"---Formal Assessment

[Steven Schveighoffer]

On 5/10/23 11:22 PM, Paul Backus wrote:
> In fact, for this particular example, there are actually two enums in 
> the DMD source code that these symbols could be coming from: `enum 
> TargetOS` in `cli.d`, and `enum OS` in `target.d`. So you would have to 
> scroll up and look at the imports to disambiguate.

Then you misunderstand the DIP (as did Walter). There is only one enum 
that can be involved -- typeof(target.os).

-Steve