This should save a lot of memory on many method calls.

An implicitly typed local variable is strongly typed just as if it had been declared the type, but the compiler determines the type. The following two declarations of $i are functionally equivalent:
int $i = 10; // Explicitly typed.
auto $i = 10; // Implicitly typed.

There is no need for this function to report errors. Function should have responsibility over a single part of the functionality provided. This change also corrects some error messages.