Assertion on array literal as call argument where a ReadSeq[T] is expected

[mfelsche]

The following small pony program hits an assertion in

src/libponyc/codegen/genname.c:63: type_append: Assertion 0 failed.

class box MyBox[T]
  fun foo(t: T): U8 => U8(1)

type TupledThingy[T] is (U32, MyBox[T] box)

actor Main
  new create(env : Env) =>
    try
      doSthTupled[USize]([
        (U32(1), MyBox[USize])
        (U32(2), MyBox[USize])
      ])?
    else
      env.out.print("error")
    end

  fun doSthTupled[T](thingies: ReadSeq[TupledThingy[T]])? =>
    thingies(1)?

http://playground.ponylang.org/?gist=39e11ca8a753c695ce24d1e37e8c4213

Changing the argument of doSthTupled to Array[TupledThingy[T]] makes this snipped compile just fine.

[jemc]

From testing on my end, it looks like this will be resolved by some combination of #2258 and #2259, as I can reproduce on master, but can't on a combination branch containing both of those PRs.

So due to that, I'm going to close this as a dup of #2233.

Feel free to reopen if I'm wrong.