"bearophile" wrote in message news:yzopesnnlgidhelsrrci at forum.dlang.org... > assert(foo(x)); Having the compiler see inside function bodies is problematic.