const attr_to_automatically_rename_getterinfo: JSJitInfo;