В рантайме?
Type LogicalExpression< T1 extends Tag, T2 extends Exclude<Tag, T1> > = `${T1} ${LogicalOperator} ${T2}`; но в рантайме оно не сможет проверять
Правда, не совсем нормально работает. Оно ругается на объявление и надо явно указывать первый параметр.
Круто! А для переменного количества аргументов такое можно сделать?
Можно, но надо уже подольше посидеть, рекурсию написать
Обсуждают сегодня