Что означают квадратные скобки в распределённом условном типе?

Question

Подскажите, пожалуйста, что означают квадратные скобки вокруг Type и any? Это кортеж из одного элемента, или что-то другое?

type ToArrayNonDist<Type> = [Type] extends [any] ? Type[] : never;

Answer 1

[Type] - это значит массив из одного элемента типа Type, а Type[] - означает массив из неограниченного количества элементов типа Type