On Wed, 18 Mar 2026 13:23:06 GMT, Marc Chevalier <[email protected]> wrote:
> We could check that after the first argument, if it's a receiver, both the cc
> and cc_ro are the same
Maybe something like this could work
assert((!_has_inline_recv || (receiver_handled && !skipping_inline_recv)) &&
(_sig_cc->last()._bt == _sig_cc_ro->last()._bt),
"_sig_cc and _sig_cc_ro differ for non-receiver arguments");
but, as you say, it looks a bit specific (and relies on the just introduced
flag as well).
-------------
PR Comment: https://git.openjdk.org/valhalla/pull/2185#issuecomment-4082734721
