Joe Eli McIlvain

Yes, that code snippet is what I mean, and no, I'd not expect it to work right now because our viewpoint adaptation rules don't match #2815 (and there are now...

We discussed on the call that there are compiler limitations that prevent this idiom from working as expected. Action items (as I understand them): - Adjust the `new from` constructor...

I think this would need a new RFC of its own, yes.

The `iftype` conditional was implemented: https://github.com/ponylang/rfcs/blob/main/text/0026-subtype-checking.md#the-iftype-conditional Specialized generic functions were not implemented: https://github.com/ponylang/rfcs/blob/main/text/0026-subtype-checking.md#specialised-generic-functions They ended up being more complex than Benoit originally anticipated, and also Benoit is no longer involved...

Since this is a failure in the heap to stack area that I'm currently looking at these past few days, I can take responsibility for next triaging steps on this...

At first glance, I think this might be a "tuple of unions vs union of tuples" issue, which is a known limitation of the compiler (see https://github.com/ponylang/ponyc/issues/1892). But I could...

Okay, sounds like it's a side effect of #1937, then.

This was probably an unintended consequence of #2261.

Hey @sblessing! Welcome back. I've sent you an invite to the org so you can be assigned this ticket. Once you accept, write back here and I'll assign you.

Discussed on the sync call. I would tend to think that option :one: is better here. Since these functions are prefixed with `pony_` instead of `ponyint_`, they are considered public...