import type { Equal, Expect, IsTrue } from '@type-challenges/utils' /** * Tests of assignable of tagged variables. */ interface I { foo: string } declare let x0: I declare let x1: Tag declare let x2: Tag declare let x3: Tag, 'b'> declare let x4: Tag, 'a'> declare let x5: Tag, 'a'> declare let x6: Tag, 'b'> declare let x7: UnTag, 'b'>> x0 = x1 = x0 = x2 = x0 = x3 = x0 = x4 = x0 = x5 = x0 = x6 = x0 = x7 = x0 x1 = x2 = x1 = x3 = x1 = x4 = x1 = x5 = x1 = x6 = x1 = x7 = x1 x2 = x3 = x2 = x4 = x2 = x5 = x2 = x6 = x2 = x6 = x2 x3 = x4 = x4 = x5 = x3 = x6 = x3 = x7 = x3 x4 = x5 = x5 = x6 = x4 = x7 = x4 x5 = x6 = x5 = x7 = x5 x6 = x7 = x6 declare let y0: string declare let y1: Tag declare let y2: Tag declare let y3: Tag, 'b'> declare let y4: Tag, 'a'> declare let y5: Tag, 'a'> declare let y6: Tag, 'b'> declare let y7: UnTag, 'b'>> y0 = y1 = y0 = y2 = y0 = y3 = y0 = y4 = y0 = y5 = y0 = y6 = y0 = y7 = y0 y1 = y2 = y1 = y3 = y1 = y4 = y1 = y5 = y1 = y6 = y1 = y7 = y1 y2 = y3 = y2 = y4 = y2 = y5 = y2 = y6 = y2 = y7 = y2 y3 = y4 = y4 = y5 = y3 = y6 = y3 = y7 = y3 y4 = y5 = y5 = y6 = y4 = y7 = y4 y5 = y6 = y5 = y7 = y5 y6 = y7 = y6 // @ts-expect-error x0 = y0 // @ts-expect-error x1 = y1 // @ts-expect-error x2 = y2 // @ts-expect-error x3 = y3 // @ts-expect-error x4 = y4 // @ts-expect-error x5 = y5 // @ts-expect-error x6 = y6 // @ts-expect-error x7 = y7 declare const UNIQUE_SYMBOL: unique symbol type US = typeof UNIQUE_SYMBOL /** * Tests of API (Tag, GetTags, Untag, HasTag, HasTags, HasExactTags). */ type cases = [ /** * Tag. */ IsTrue, null>>, IsTrue, undefined>>, IsTrue & string>>, /** * GetTags. */ IsTrue, []>>, IsTrue, []>>, IsTrue, []>>, IsTrue>, ['foo']>>, IsTrue>, ['foo']>>, IsTrue | 1>, []>>, IsTrue | Tag<1, 'foo'>>, ['foo']>>, IsTrue>, ['foo']>>, IsTrue>, ['foo']>>, IsTrue, 'bar'>>, ['foo', 'bar']>>, IsTrue< Equal< GetTags, 'bar'>, 'baz'>>, ['foo', 'bar', 'baz'] > >, /** * UnTag. */ IsTrue, null>>, IsTrue, undefined>>, IsTrue>, {}>>, IsTrue, 'bar'>>, { x: 0 }>>, IsTrue, 'bar'>>, keyof number>>, /** * HasTag. */ Expect, false>>, Expect, false>>, Expect, 'foo'>, true>>, Expect | {}, 'foo'>, false>>, Expect, 'foo'>, true>>, Expect | Tag<1, 'foo'>, 'foo'>, true>>, Expect | Tag<1, 'bar'>, 'foo'>, false>>, Expect, 'bar'>, 'foo'>, true>>, Expect, 'foo'>, 'foo'>, true>>, Expect, 'baz'>, 'foo'>, false>>, Expect, 'foo'>, true>>, Expect, 'foo'>, false>>, Expect, 'bar'>, 'bar'>, false>>, Expect, 'bar'>, 'foo'>, true>>, Expect, 'foo'>, 'foo'>, true>>, Expect, 'foo'>, true>>, Expect, 'bar'>, false>>, Expect, false>>, /** * HasTags. */ Expect, false>>, Expect, false>>, Expect, ['foo']>, false>>, Expect, ['foo']>, false>>, Expect, ['foo']>, true>>, Expect, ['foo']>, true>>, Expect, ['foo']>, true>>, Expect, 'bar'>, ['foo', 'bar']>, true>>, Expect, 'bar'>, ['foo', 'bar']>, true>>, Expect, 'foo'>, ['foo', 'bar']>, false>>, Expect, 'foo'>, 'bar'>, ['foo', 'bar']>, true>>, Expect, 'foo'>, 'bar'>, ['foo', 'bar']>, true>>, Expect, 'bar'>, 'baz'>, ['foo', 'bar']>, true>>, Expect, 'bar'>, 'baz'>, ['foo', 'bar']>, true>>, Expect, 'baz'>, 'bar'>, ['foo', 'bar']>, false>>, Expect, 'bar'>, ['foo', 'bar']>, true>>, /** * HasExactTags. */ Expect, true>>, Expect, true>>, Expect, true>>, Expect, ['foo']>, true>>, Expect, ['bar']>, false>>, Expect, 'bar'>, ['foo', 'bar']>, true>>, Expect, ['foo']>, true>>, Expect, ['foo']>, true>>, Expect, ['bar']>, false>>, Expect, 'bar'>, 'baz'>, ['foo', 'bar']>, false>>, Expect, 'bar'>, 'baz'>, ['foo', 'bar', 'baz']>, true>>, Expect, 'bar'>, ['foo', 'bar']>, true>>, ]