Type profiling completely shuts down with the possibility of dynamic var injections. When there is an eval/with statement, high fidelity type profiling does not attempt to link against variables in the symbol table. This prevents the globalTypeSet from being populated on TypeLocation. This should be fixed.
This is not the actual situation. type profiling variable resolution does proper resolution when it is sound to do so.