fix(frontend): Error for when impl is stricter than trait #9876

Job	Run time
build-nargo	2m 33s
build-nargo	2m 33s
build-noirc-abi	1m 25s
build-noirc-abi	1m 25s
build-acvm-js	1m 18s
build-acvm-js	1m 18s
build-noir-wasm	4m 3s
build-noir-wasm	4m 3s
ACVM JS (Node.js)	36s
ACVM JS (Node.js)	36s
ACVM JS (Browser)	1m 30s
ACVM JS (Browser)	1m 15s
noirc_abi	1m 33s
noirc_abi	1m 33s
Example scripts	12s
Example scripts	12s
noir_codegen	1m 8s
noir_codegen	1m 8s
Noir JS	1m 18s
Noir JS	1m 18s
Check external repo - AztecProtocol/aztec-nr	9s
Check external repo - AztecProtocol/aztec-nr	9s
Check external repo - AztecProtocol/aztec-packages	12s
Check external repo - AztecProtocol/aztec-packages	12s
Check external repo - zac-williamson/noir-edwards	5s
Check external repo - zac-williamson/noir-edwards	5s
Integration Tests (Node)	2m 9s
Integration Tests (Node)	2m 9s
noir_wasm	2m 2s
noir_wasm	2m 2s
Integration Tests (Browser)	2m 23s
Integration Tests (Browser)	2m 23s
End	1s
End	1s
	44m 59s

Provide feedback