2257 - MinusOne

[Martynas-K]

Will work on small numbers only, due to TS error 'Type instantiation is excessively deep and possibly infinite'

type Pop<T extends any[]> = T extends [...infer head, any] ? head : never; 

type MinusOne<T extends number, A extends any[] = []> = A['length'] extends T
  ? Pop<A>['length']
  : MinusOne<T, [...A, 0]>

[kstratis]

Thanks! Seems to be the next best thing after #13507.

[WisestCoder]

Is this something people can think of ?

[ZhipengYang0605]

666

[wuxin0011]

good!

[minhluudinh]

I am too stupid to understand this code. Nice code but doesn't work on all cases.