https://issues.dlang.org/show_bug.cgi?id=12170 --- Comment #6 from monarchdodra at gmail.com --- Yeah, Kenji recently implemented inference for recursive functions. See also: https://github.com/D-Programming-Language/phobos/pull/2075 --