問題

タプルを受け取り、その各値のkey/valueを持つオブジェクトの型に変換する型を実装します。

例えば：

```ts
const tuple = ['tesla', 'model 3', 'model X', 'model Y'] as const

type result = TupleToObject<typeof tuple> // expected { 'tesla': 'tesla', 'model 3': 'model 3', 'model X': 'model X', 'model Y': 'model Y'}
```

与えられた配列の各要素をkey。valueにmapしたオブジェクト型を作成してくださいという問題です。

回答

type TupleToObject<T extends readonly any[]> = {
  [key in T[number]]: key
}

T[number]がUnionで返されることを知っていれば簡単に解くことができます。

ちょっと解説

`T[number]`

配列T各要素のUnion型を取得できます。
なぜこれでUnion型がとれるかというと、単純なタプル型とは以下のような型を持つのと同義であり、

interface StringNumberPair {
  // specialized properties
  length: 2;
  0: string;
  1: number;
 
  // Other 'Array<string | number>' members...
  slice(start?: number, end?: number): Array<string | number>;
}

この型に対してnumber型でインデックスされた値をとりだすからですね。

['tesla', 'model 3', 'model X', 'model Y']の場合、

interface XXX {
  length: 4;
  0: "tesla";
  1: "model 3";
  2: "model X";
  3: "model Y";
}

のような型をもつものとみなされ、number型でインデックスされている四つがUnionとして取り出されるわけですね。
ちなみに、以下のように数字を指定すればしっかりその数字に対応した値が返ってきます。

type A = typeof tuple;
type B = A[1] // type B = "model 3"

また、lengthの取得も可能です。

type A = typeof tuple;
type B = A["length"] // type B = 4