Unique Items

by Evgeniy @bgenia

Some concepts in TypeScript can not be described by types, but can be expressed through type constraints. For example, you can't define a type for positive numbers, but you can check whether a number literal type is positive. One of the patterns for applying such constraints is constrained identity function (CIF). A CIF takes one parameter, infers its type, performs additional checks and returns the parameter unmodified. ```ts // Ensures `n` is a positive number function positive(n: `${N}` extends `-${string}` ? never : N) { return n } const a = positive(1) // Ok const b = positive(-1) // Error, -1 is not assignable to never ``` Write a CIF `uniqueItems` that takes a tuple of literals and ensures that all of them are unique. You are free to use either mutable or readonly tuples. Bonus task: Helpful error messages instead of `not assignable to never`. Bonus task: Only repeating tuple elements should be treated as errors, not the entire argument.