[ty] Filter out unsatisfiable inference attempts during generic call narrowing #24025

Performance Gate Passed

⚡ 2 improved benchmarks
✅ 25 untouched benchmarks
⏩ 30 skipped benchmarks¹

	Mode	Benchmark	`BASE`	`HEAD`	Efficiency
⚡	WallTime	`static_frame`	26.5 s	23.3 s	+13.83%
⚡	WallTime	`colour_science`	77.7 s	71.4 s	+8.85%

_{Comparing ibraheem/narrow-callable-short-circuit (8f0350b) with main (1616095)}

30 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩