Introduce "Global" as a type name that can be use to reference the global this.  This is a much better type than "Window" which works in as a super type of the global this in a web browser environment.
@@ -846,6 +846,7 @@ public class JSTypeRegistry implements TypeIRegistry {
registerGlobalType(getNativeType(JSTypeNative.VOID_TYPE), "Undefined");
registerGlobalType(getNativeType(JSTypeNative.VOID_TYPE), "void");
registerGlobalType(getNativeType(JSTypeNative.FUNCTION_INSTANCE_TYPE), "Function");
+ registerGlobalType(getNativeType(JSTypeNative.GLOBAL_THIS), "Global");
}
private static void checkTypeName(String typeName) {
