RFR: [type-classes] Fix issue with type class op resolution inside speculative attribution [v2]

[Danish Nawab]

On Tue, 27 Jan 2026 12:30:42 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> During speculative attribution of lambda expressions, we might get to the unary/binary op resolution code with erroneous types.
>> When this happens, type class witness resolution fails if Numerical/Integral are tweaked to contain witness methods.
>> 
>> This PR fixes this condition and adds a test.
>
> Maurizio Cimadamore has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Address review comments
>   Beef up test to check various erroneous arguments permutations

Marked as reviewed by danishnawab at github.com (no known OpenJDK username).

-------------

PR Review: https://git.openjdk.org/valhalla/pull/1981#pullrequestreview-3710918244