const attr_to_automatically_rename_setterinfo: JSJitInfo;