This is not possible since this information is not available at all times. For example imagine C++ where a variable is typed with auto. Just after parsing you h

This is not possible since this information is not available at all times. For example imagine C++ where a variable is typed with auto. Just after parsing you have an AST which doesn't yet include the real static type the variable has.