Proposal: rename "var" to "infer" in type inference

[ghost]

[ Bikeshedding Alert ]

Zig supports type inference for function parameters:

fn triple(x: var) @TypeOf(x) {
    return 3 * x;
}

However, reusing var for this purpose feels a bit strange, sice it usually marks mutable variables, which have pretty much nothing to do with type inference. I think it would be clearer to just introduce a new keyword:

fn triple(x: infer) @TypeOf(x) {
    return 3 * x;
}

[Vexu]

There is already an accepted proposal to rename it to anytype #4820.

[ghost]

Ooops.