Thunk generics in-scope not inferred

[ssalbdivad]

Up until 2.0.0-beta.2, this test was passing:

it("referenced in scope inline", () => {
  const $ = scope({
    one: "1",
    // now is a circular reference error
    orOne: () => $.type("<t>", "t|one"),
  });

  const types = $.export();
  const bit = types.orOne("0");

  const expected = type("0|1");

  attest<typeof expected.t>(bit.t);
  attest(bit.json).equals(expected.json);
});

Seems like a (reasonable) limitation of TypeScript, so mostly creating this for tracking purposes, but I don't expect to be able to make a change while preserving conditional output types to fix this.