Keep deepened proto on AmbiguousImplicits even if cannot constrainResult

[EugeneFlesselle]

Might fix #23610
Related to #23664

[EugeneFlesselle]

@WojciechMazur could we test if this fixes the issues still in #23664 (comment)?

[WojciechMazur]

I've run the OpenCB, unfortunately project is still failing with the same errors as before https://github.com/VirtusLab/community-build3/actions/runs/16807072991/job/47603167918

It would great to minimize the issue first, but the code itself is non trivial - it uses quotes reflection to calculate expected result types for results of operations on units, eg. multiplication of 2 values of Meter typer results in result type Meter ^ 2 and also depends on another project for type refinements.

[EugeneFlesselle]

I've run the OpenCB, unfortunately project is still failing with the same errors as before https://github.com/VirtusLab/community-build3/actions/runs/16807072991/job/47603167918

Too bad, it was worth a shot. Thanks for testing it out though!