Cannot DROP CONSTRAINT

• EdgeDB Version: EdgeDB version “2” Docker image
• OS Version: Arch Linux

Steps to Reproduce:

1. DROP a CONSTRAINT

I couldn’t put together a schema that reproduces the bug, but here’s what I expected to reproduce it:

module default {
	type Entity {
		required property bucket -> str;
		required property available -> bool;
		required property assigned := .available and .bucket != 'UNPROCESSED';

		# To be removed
		constraint expression on (
			(.available and .assigned) or not (.assigned)
		);
	}
}

And here’s the error that’s thrown when applying the migration:

[elprans]

You can pipe into edgedb:

edgedb> CREATE DATABASE testdb;

$ cat file.edgeql | edgedb -d testdb

[MicroDroid]

@elprans How do I run an .edgeql file without having to paste massive stuff in EdgeDB CLI?

Is there any way I can pipe a file into EdgeDB?