typeof function literals which define the types of its parameters but do not give their parameters names
    Steven Schveighoffer 
    schveiguy at gmail.com
       
    Thu Dec 27 15:39:23 UTC 2018
    
    
  
On 12/27/18 9:45 AM, Adam D. Ruppe wrote:
> On Thursday, 27 December 2018 at 08:53:30 UTC, Johannes Loher wrote:
>> If this behavior is indeed intentional, it should at least be covered 
>> in the spec.
> 
> I know the template part is intentional (including the identifier thing, 
> function names are allowed to share names with global identifiers and 
> override them locally), though indeed, it giving void I think is a bug. 
> Just in that category where nobody cares enough to put a lot of effort 
> into it.
A template evaluating to a type void is how 
is(typeof(someTemplateDefinition)) works.
I don't know how much code would break, but it would not be 
insignificant if this changed.
-Steve
    
    
More information about the Digitalmars-d-learn
mailing list