[code-reflection] RFR: 8324556: Not copy result-type when copying an op [v5]

[Mourad Abbay]

On Thu, 1 Feb 2024 00:47:38 GMT, Mourad Abbay <mabbay at openjdk.org> wrote:

>> 8324556: Not copy result-type when copying an op
>
> 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 seven additional commits since the last revision:
> 
>  - Merge branch 'code-reflection' into not-copy-resultType-when-copying-op
>  - Add documentation
>  - Remove validation from resultType method
>  - Review
>  - Add test
>  - Apply Paul's suggestions
>  - Not copy resultType when copying an op.

for ternary expression and switch expressions we decided to keep that flexibility, if you don't pass expression type we assume expression/statement bodies have the same yield type, we don't validate that.

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

PR Comment: https://git.openjdk.org/babylon/pull/6#issuecomment-1921813937