typeof function literals which define the types of its parameters but do not give their parameters names

[Johannes Loher]

On Thursday, 27 December 2018 at 08:53:30 UTC, Johannes Loher 
wrote:
> On Thursday, 27 December 2018 at 04:27:03 UTC, Steven 
> Schveighoffer wrote:
> [...]

As a side note:

During last DConf I talked to Walter and Andrei about the fact 
that `typeof(SomeTemplate) == void` and they agreed that it 
probably should be a compiler error instead (see also 
https://issues.dlang.org/show_bug.cgi?id=15437). It would be 
pretty hard to do this right now, as it breaks existing code 
(quite a lot of phobos code depends on this in template 
constraints). But if this was indeed some day changed to be a 
compiler error, it would make things even weirder.