I mean, type inference goes decades before Dlang.