Sean T Allen

That "twitter client" isn't the most robust of code but it gets the job done for an example. Running on my computer, it went for several hours without issue but......

The code in question is something under the `is_sub_cap_and_eph`check that happens immediately after the `is_eq_typeargs` that @chalcolith pointed out.

So the code is definitely being asked to check if `box` is a subcap of `val` just as the error message says. Which is to say, everything is working as...

Can this be closed?

The error isn't coming from the typeargs check. That passes just fine. The error is from the sub cap and ephemeral check.

The match itself isn't the issue. That is fine. In the original example. This works: ```pony actor Main let env: Env new create(env': Env) => env = env' let x...

Here's an even more minimal example: ```pony actor Main new create(env: Env) => let x: Any val = ("hello", (USize(123))) match x | (let a: Stringable, let b: (USize |...

The message send isn't required. Here's a still more minimal example: ```pony actor Main new create(e: Env) => let x: Any val = ("a", (U8(1))) match x | (let a:...

@chalcolith any thoughts here?

When running with individual files like: `../build/release/compiler peg.peg` then peg.peg and json.peg work fine, but the pony.peg does have an issue. When giving two args like is done in the...