bool foo(alias target, alias annotation, alias constraint)() where target is a symbol and annotation and constraint are values (struct instances)
See Implementation