import { Checking, type Test } from "hry-types"; import type { SpecificType } from "./SpecificType"; export type ReStorePropTypeOfList = L extends [infer Head, ...infer Rest] ? ReStorePropTypeOfList]> : R; type Test1 = ReStorePropTypeOfList<[number, string, { c: boolean }, boolean, string[]]>; type Test1Expect = [ SpecificType, SpecificType, SpecificType<{ c: boolean; }>, SpecificType, SpecificType, ]; Checking;