/edgedb-object-rename-index-bug

Primary LanguageEdgeQL

Minimal reproduction of edgedb/edgedb#7138

To run:

edgedb project init
yarn
yarn start

The script will execute and throw an error, which is the query failing with the bug.
The query/script should execute fine.