feat: check trait where clause #14353

Job	Run time
build-nargo	2m 16s
build-acvm-js	1m 21s
build-noir-wasm	3m 49s
build-noirc-abi	1m 28s
ACVM JS (Browser)	1m 18s
ACVM JS (Node.js)	40s
noirc_abi	1m 25s
Noir JS	1m 14s
Example scripts	19s
noir_codegen	1m 4s
Check external repo - ${{ matrix.project.repo }}	0s
Integration Tests (Node)	2m 32s
noir_wasm	1m 53s
Integration Tests (Browser)	2m 41s
End	1s
	22m 1s

Provide feedback