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

[Timon Gehr]

On 11/19/22 05:22, Walter Bright wrote:
> Consider this:
> 
>      enum A { a; }
>      enum B { a; }
> 
>      void f(A);
>      void f(B);
> 
>      ...
>      f($a + $a); // mentioned in the DIP as allowed
>      ...
> 
> Since the DIP allows expressions containing such enum inferences, it 
> looks like we are faced with the possibility of having to re-run the 
> semantic pass for enum arguments for every enum overload.

Only if the new feature is actually used, and yes, this is the same as 
for function literals. I guess the implementation can be optimized 
further for enum arguments, but I doubt it would make a meaningful 
difference.