書き殴り

書き殴り.md

type N<T> = { name: T }

type E<T,> = T extends { [key in string]: infer I } ? { name: I } : never

type F<T> = T extends { [key in string]: infer I } ? I : never

const b: F<E<N<number>>> = 5


const obj = { name: { name: { id: 1 }, age: {id: 9} } }

type O<T, U> = { name: { [key in keyof U]: T } }
type Id<T> = {id: T}
const a: O<Id<number>, { name: { id: 1 }, age: { id: 2 } }> = obj