static map as a type function

[Stefan Koch]

On Wednesday, 23 September 2020 at 14:05:50 UTC, Steven 
Schveighoffer wrote:

> It makes me wonder -- can the compiler determine identical 
> lambdas and reduce template instantiations? This was one of the 
> problems with moving from string lambdas to actual lambdas.

In general no. Even for string lambda's that'd be wrong.
We have context dependent tokens ...