[code-reflection] RFR: Fix lowering type pattern [v2]

[Paul Sandoz]

On Fri, 19 Dec 2025 22:41:28 GMT, Mourad Abbay <mabbay at openjdk.org> wrote:

>> The lowering of TypePattern was performing unnecessary check by invoking inexistent method on ExactConversionSupport e.g. `isIntToIntExact.
>
> Mourad Abbay has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains four additional commits since the last revision:
> 
>  - Test more
>  - Merge branch 'code-reflection' into fix-lowering-type-pattern
>  - Test we don't perform check for primitive identity conversion
>  - Fix the logic of isNarrowingPrimitiveConversion

Marked as reviewed by psandoz (Lead).

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

PR Review: https://git.openjdk.org/babylon/pull/772#pullrequestreview-3600371517