But "variable" typehints
don't serve any such purpose. Actually, one could even say that they
don't serve *any* purpose, short of providing the IDE with type
information, because your code would work just as well even without
the type check. If the type were wrong, it would just throw a fatal
error when trying to do something with it (like invoking a method that
does not exist).
Just like with argument typehints.
Point me to an argument typehint that is required for your code to run.
You and Stas keep giving arguments against argument typehints, which is really awkward.
Stan