Fix `match_with_constraint` #6938

Job	Run time
Java: Linting	1m 23s
Pyk: Code Quality & Unit Tests (3.10)	1m 25s
Pyk: Code Quality & Unit Tests (3.11)	1m 21s
Pyk: Code Quality & Unit Tests (3.12)	1m 24s
Code Quality Checks	1s
K: Ubuntu Jammy Package	20m 48s
K: Ubuntu Jammy Frontend Package	7m 12s
K: Nix Build & Test (self-hosted, linux, normal)	6m 57s
K: Source Build & Test	47m 8s
Pyk: Nix Build (ubuntu-latest)	37s
K: Nix Build & Test (MacM1, self-macos-12)	25m 40s
Pyk: Nix Build (macos-14)	1m 40s
Pyk: Profiling	3m 52s
Pyk: Regression Tests	18m 21s
Pyk: Documentation	4m 56s
Pyk: Integration Tests	18m 26s
	2h 41m 11s

Provide feedback