型パラメータを持つ型のインナー型の変換

[omochi]

現状、以下のコードがトランスパイルできない。

struct S<X> {
  struct K {
    var x: X
  }
}

外側の型の型パラメータをすべて背負った型に対応付けるべき。

type S_K<X> = { x: X; }

---

以下のようなケースが難しい。

struct M {
  var k: S<Int>.K
}

これは Mのデコードでは S_K<number> のデコードを考えなければならない。

[sidepelican]

類似パターン

• Swift

struct Box<T> {
    var v: T
}

struct S<T> {
    typealias A = Box<T>
}

• TypeScript

import { Box, T, TagRecord } from "..";

export type S<T> = {} & TagRecord<"S", [T]>;

export type S_A = Box<T>;

S_A に型パラメータが存在せず、Box<T>は不正である（あるいはTがグローバルに定義されている必要がある）