[code-reflection] RFR: Aggregated work on Verifier and BytecodeLift deconstruction [v3]

[Adam Sotona]

On Wed, 6 Nov 2024 17:20:05 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

>> Common solution for `componentType` and `ArrayLoadOp` loosing information during lift would be 
>> `ArrayLoadOp` accepting result component type as an additional optional argument.
>> In that case we don't have to add `TypeWithComponent` interface and `BytecodeLift` will inject specific (resolved or unresolved) type as a result of `ArrayLoadOp`. It would allow to remove `UnresolvedType.Comp` and the mutable field and move the type resolution completely to the `UnresolvedTypesTransformer`.
>
> That sounds like a better approach.

OK, first step done. Now I can move the resolution field and logic out.

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

PR Review Comment: https://git.openjdk.org/babylon/pull/258#discussion_r1831515667