First life-signs of type functions

[Timon Gehr]

On 14.05.20 10:09, Stefan Koch wrote:
> 
> In cases where a template is needed type functions will be of little use.

This is just not true. Template instantiations can be the result of the 
type function. E.g., map a list of types of struct members to array 
types with those types as element types. And anything that can be the 
result of a type function can be an argument to a type function for 
further processing.

In general, it is vastly more often than not a bad idea to claim that 
feature A shouldn't work with feature B because nobody would want to 
combine them anyway.