Test

Turn `Pattern` into `#Bottom` if any constraint is literal false #6881

Job	Run time
Formatting and Style	1m 10s
HLint	1m 38s
Nix / Integration	36m 9s
Stack / Unit Tests	23m 17s
Nix / Unit Tests (ubuntu-22.04, ubuntu-22.04, x86_64-linux)	24m 36s
Nix / Unit Tests (MacM1, self-macos-12, aarch64-darwin)	12m 37s
	1h 39m 27s

Provide feedback