static assert(__traits(compiles, xys)) considered harmful

[Andrei Alexandrescu via Digitalmars-d]

Could someone take up the task outlined in 
https://issues.dlang.org/show_bug.cgi?id=15320 and 
https://github.com/D-Programming-Language/phobos/pull/3804?

Thanks,

Andrei