uda pattern foo and foo(val)

[Adam D. Ruppe]

On Wednesday, 23 September 2020 at 01:45:46 UTC, Steven 
Schveighoffer wrote:
> @foo int z; // Error: cannot interpret foo(T)(T val) at compile 
> time

Where do you get that error? Is it from phobos' thing? cuz I 
copy/pasted your code and it compiled.

You can also just use a struct as the uda if your detection 
function checks for both the type and a value of the type, so it 
really depends on which search method you using.