indexSignatures1.symbols

=== tests/cases/conformance/types/members/indexSignatures1.ts ===
// Symbol index signature checking

const sym = Symbol();
>sym : Symbol(sym, Decl(indexSignatures1.ts, 2, 5))
>Symbol : Symbol(Symbol, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.symbol.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --), Decl(lib.es2019.symbol.d.ts, --, --))

function gg3(x: { [key: string]: string }, y: { [key: symbol]: string }, z: { [sym]: number }) {
>gg3 : Symbol(gg3, Decl(indexSignatures1.ts, 2, 21))
>x : Symbol(x, Decl(indexSignatures1.ts, 4, 13))
>key : Symbol(key, Decl(indexSignatures1.ts, 4, 19))
>y : Symbol(y, Decl(indexSignatures1.ts, 4, 42))
>key : Symbol(key, Decl(indexSignatures1.ts, 4, 49))
>z : Symbol(z, Decl(indexSignatures1.ts, 4, 72))
>[sym] : Symbol([sym], Decl(indexSignatures1.ts, 4, 77))
>sym : Symbol(sym, Decl(indexSignatures1.ts, 2, 5))

    x = z;
>x : Symbol(x, Decl(indexSignatures1.ts, 4, 13))
>z : Symbol(z, Decl(indexSignatures1.ts, 4, 72))

    y = z;  // Error
>y : Symbol(y, Decl(indexSignatures1.ts, 4, 42))
>z : Symbol(z, Decl(indexSignatures1.ts, 4, 72))
}

// Overlapping index signatures

function gg1(x: { [key: `a${string}`]: string, [key: `${string}a`]: string }, y: { [key: `a${string}a`]: string }) {
>gg1 : Symbol(gg1, Decl(indexSignatures1.ts, 7, 1))
>x : Symbol(x, Decl(indexSignatures1.ts, 11, 13))
>key : Symbol(key, Decl(indexSignatures1.ts, 11, 19))
>key : Symbol(key, Decl(indexSignatures1.ts, 11, 48))
>y : Symbol(y, Decl(indexSignatures1.ts, 11, 77))
>key : Symbol(key, Decl(indexSignatures1.ts, 11, 84))

    x = y;
>x : Symbol(x, Decl(indexSignatures1.ts, 11, 13))
>y : Symbol(y, Decl(indexSignatures1.ts, 11, 77))

    y = x;
>y : Symbol(y, Decl(indexSignatures1.ts, 11, 77))
>x : Symbol(x, Decl(indexSignatures1.ts, 11, 13))
}

interface IX { [key: `a${string}`]: string, [key: `${string}a`]: string }
>IX : Symbol(IX, Decl(indexSignatures1.ts, 14, 1))
>key : Symbol(key, Decl(indexSignatures1.ts, 16, 16))
>key : Symbol(key, Decl(indexSignatures1.ts, 16, 45))

interface IY { [key: `a${string}a`]: string }
>IY : Symbol(IY, Decl(indexSignatures1.ts, 16, 73))
>key : Symbol(key, Decl(indexSignatures1.ts, 17, 16))

function gg2(x: IX, y: IY) {
>gg2 : Symbol(gg2, Decl(indexSignatures1.ts, 17, 45))
>x : Symbol(x, Decl(indexSignatures1.ts, 19, 13))
>IX : Symbol(IX, Decl(indexSignatures1.ts, 14, 1))
>y : Symbol(y, Decl(indexSignatures1.ts, 19, 19))
>IY : Symbol(IY, Decl(indexSignatures1.ts, 16, 73))

    x = y;  // Error
>x : Symbol(x, Decl(indexSignatures1.ts, 19, 13))
>y : Symbol(y, Decl(indexSignatures1.ts, 19, 19))

    y = x;
>y : Symbol(y, Decl(indexSignatures1.ts, 19, 19))
>x : Symbol(x, Decl(indexSignatures1.ts, 19, 13))
}

// Intersection of multiple applicable index signatures

declare let combo: { [x: `foo-${string}`]: 'a' | 'b' } & { [x: `${string}-bar`]: 'b' | 'c' };
>combo : Symbol(combo, Decl(indexSignatures1.ts, 26, 11))
>x : Symbol(x, Decl(indexSignatures1.ts, 26, 22))
>x : Symbol(x, Decl(indexSignatures1.ts, 26, 60))

const x1 = combo['foo-test'];  // 'a' | 'b'
>x1 : Symbol(x1, Decl(indexSignatures1.ts, 27, 5))
>combo : Symbol(combo, Decl(indexSignatures1.ts, 26, 11))

const x2 = combo['test-bar'];  // 'b' | 'c'
>x2 : Symbol(x2, Decl(indexSignatures1.ts, 28, 5))
>combo : Symbol(combo, Decl(indexSignatures1.ts, 26, 11))

const x3 = combo['foo-test-bar'];  // 'b' (('a' | 'b') & ('b' | 'c'))
>x3 : Symbol(x3, Decl(indexSignatures1.ts, 29, 5))
>combo : Symbol(combo, Decl(indexSignatures1.ts, 26, 11))

declare var str: string;
>str : Symbol(str, Decl(indexSignatures1.ts, 31, 11))

const x4 = combo[`foo-${str}`];
>x4 : Symbol(x4, Decl(indexSignatures1.ts, 33, 5))
>combo : Symbol(combo, Decl(indexSignatures1.ts, 26, 11))
>str : Symbol(str, Decl(indexSignatures1.ts, 31, 11))

const x5 = combo[`${str}-bar`];
>x5 : Symbol(x5, Decl(indexSignatures1.ts, 34, 5))
>combo : Symbol(combo, Decl(indexSignatures1.ts, 26, 11))
>str : Symbol(str, Decl(indexSignatures1.ts, 31, 11))

const x6 = combo[`foo-${str}-bar`];
>x6 : Symbol(x6, Decl(indexSignatures1.ts, 35, 5))
>combo : Symbol(combo, Decl(indexSignatures1.ts, 26, 11))
>str : Symbol(str, Decl(indexSignatures1.ts, 31, 11))

declare let combo2: { [x: `${string}xxx${string}` & `${string}yyy${string}`]: string };
>combo2 : Symbol(combo2, Decl(indexSignatures1.ts, 37, 11))
>x : Symbol(x, Decl(indexSignatures1.ts, 37, 23))

const x7 = combo2['axxxbyyyc'];
>x7 : Symbol(x7, Decl(indexSignatures1.ts, 39, 5))
>combo2 : Symbol(combo2, Decl(indexSignatures1.ts, 37, 11))

const x8 = combo2['ayyyxxxbc'];
>x8 : Symbol(x8, Decl(indexSignatures1.ts, 40, 5))
>combo2 : Symbol(combo2, Decl(indexSignatures1.ts, 37, 11))

const x9 = combo2['axxxbbbyc'];  // Error
>x9 : Symbol(x9, Decl(indexSignatures1.ts, 41, 5))
>combo2 : Symbol(combo2, Decl(indexSignatures1.ts, 37, 11))

// Property access on template pattern index signature

declare let dom: { [x: `data${string}`]: string };
>dom : Symbol(dom, Decl(indexSignatures1.ts, 45, 11))
>x : Symbol(x, Decl(indexSignatures1.ts, 45, 20))

const y1 = dom['data123'];
>y1 : Symbol(y1, Decl(indexSignatures1.ts, 46, 5))
>dom : Symbol(dom, Decl(indexSignatures1.ts, 45, 11))

const y2 = dom.data123;
>y2 : Symbol(y2, Decl(indexSignatures1.ts, 47, 5))
>dom.data123 : Symbol(__index, Decl(indexSignatures1.ts, 45, 18))
>dom : Symbol(dom, Decl(indexSignatures1.ts, 45, 11))
>data123 : Symbol(__index, Decl(indexSignatures1.ts, 45, 18))

// Excess property checking for template pattern index signature

dom = { data123: 'hello' };
>dom : Symbol(dom, Decl(indexSignatures1.ts, 45, 11))
>data123 : Symbol(data123, Decl(indexSignatures1.ts, 51, 7))

dom = { date123: 'hello' };  // Error
>dom : Symbol(dom, Decl(indexSignatures1.ts, 45, 11))
>date123 : Symbol(date123, Decl(indexSignatures1.ts, 52, 7))

// Contextual typing by index signature with template literal pattern

type Funcs = {
>Funcs : Symbol(Funcs, Decl(indexSignatures1.ts, 52, 27))

    [key: `s${string}`]: (x: string) => void,
>key : Symbol(key, Decl(indexSignatures1.ts, 57, 5))
>x : Symbol(x, Decl(indexSignatures1.ts, 57, 26))

    [key: `n${string}`]: (x: number) => void,
>key : Symbol(key, Decl(indexSignatures1.ts, 58, 5))
>x : Symbol(x, Decl(indexSignatures1.ts, 58, 26))
}

const funcs: Funcs = {
>funcs : Symbol(funcs, Decl(indexSignatures1.ts, 61, 5))
>Funcs : Symbol(Funcs, Decl(indexSignatures1.ts, 52, 27))

    sfoo: x => x.length,  // x: string
>sfoo : Symbol(sfoo, Decl(indexSignatures1.ts, 61, 22))
>x : Symbol(x, Decl(indexSignatures1.ts, 62, 9))
>x.length : Symbol(String.length, Decl(lib.es5.d.ts, --, --))
>x : Symbol(x, Decl(indexSignatures1.ts, 62, 9))
>length : Symbol(String.length, Decl(lib.es5.d.ts, --, --))

    nfoo: x => x * 2,     // n: number
>nfoo : Symbol(nfoo, Decl(indexSignatures1.ts, 62, 24))
>x : Symbol(x, Decl(indexSignatures1.ts, 63, 9))
>x : Symbol(x, Decl(indexSignatures1.ts, 63, 9))
}

// Duplicate index signature checking

type Duplicates = {
>Duplicates : Symbol(Duplicates, Decl(indexSignatures1.ts, 64, 1))

    [key: string | number]: any;  // Error
>key : Symbol(key, Decl(indexSignatures1.ts, 69, 5))

    [key: number | symbol]: any;  // Error
>key : Symbol(key, Decl(indexSignatures1.ts, 70, 5))

    [key: symbol | `foo${string}`]: any;  // Error
>key : Symbol(key, Decl(indexSignatures1.ts, 71, 5))

    [key: `foo${string}`]: any;  // Error
>key : Symbol(key, Decl(indexSignatures1.ts, 72, 5))
}

// Conflicting index signature checking

type Conflicting = {
>Conflicting : Symbol(Conflicting, Decl(indexSignatures1.ts, 73, 1))

    [key: `a${string}`]: 'a';
>key : Symbol(key, Decl(indexSignatures1.ts, 78, 5))

    [key: `${string}a`]: 'b';
>key : Symbol(key, Decl(indexSignatures1.ts, 79, 5))

    [key: `a${string}a`]: 'c';  // Error
>key : Symbol(key, Decl(indexSignatures1.ts, 80, 5))
}

// Invalid index signatures

type Invalid<T extends string> = {
>Invalid : Symbol(Invalid, Decl(indexSignatures1.ts, 81, 1))
>T : Symbol(T, Decl(indexSignatures1.ts, 85, 13))

    [key: 'a' | 'b' | 'c']: string;  // Error
>key : Symbol(key, Decl(indexSignatures1.ts, 86, 5))

    [key: T | number]: string;  // Error
>key : Symbol(key, Decl(indexSignatures1.ts, 87, 5))
>T : Symbol(T, Decl(indexSignatures1.ts, 85, 13))

    [key: Error]: string;  // Error
>key : Symbol(key, Decl(indexSignatures1.ts, 88, 5))
>Error : Symbol(Error, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2022.error.d.ts, --, --))

    [key: T & string]: string;  // Error
>key : Symbol(key, Decl(indexSignatures1.ts, 89, 5))
>T : Symbol(T, Decl(indexSignatures1.ts, 85, 13))
}

// Intersections in index signatures

type Tag1 = { __tag1__: void };
>Tag1 : Symbol(Tag1, Decl(indexSignatures1.ts, 90, 1))
>__tag1__ : Symbol(__tag1__, Decl(indexSignatures1.ts, 94, 13))

type Tag2 = { __tag2__: void };
>Tag2 : Symbol(Tag2, Decl(indexSignatures1.ts, 94, 31))
>__tag2__ : Symbol(__tag2__, Decl(indexSignatures1.ts, 95, 13))

type TaggedString1 = string & Tag1;
>TaggedString1 : Symbol(TaggedString1, Decl(indexSignatures1.ts, 95, 31))
>Tag1 : Symbol(Tag1, Decl(indexSignatures1.ts, 90, 1))

type TaggedString2 = string & Tag2;
>TaggedString2 : Symbol(TaggedString2, Decl(indexSignatures1.ts, 97, 35))
>Tag2 : Symbol(Tag2, Decl(indexSignatures1.ts, 94, 31))

declare let s0: string;
>s0 : Symbol(s0, Decl(indexSignatures1.ts, 100, 11))

declare let s1: TaggedString1;
>s1 : Symbol(s1, Decl(indexSignatures1.ts, 101, 11))
>TaggedString1 : Symbol(TaggedString1, Decl(indexSignatures1.ts, 95, 31))

declare let s2: TaggedString2;
>s2 : Symbol(s2, Decl(indexSignatures1.ts, 102, 11))
>TaggedString2 : Symbol(TaggedString2, Decl(indexSignatures1.ts, 97, 35))

declare let s3: TaggedString1 | TaggedString2;
>s3 : Symbol(s3, Decl(indexSignatures1.ts, 103, 11))
>TaggedString1 : Symbol(TaggedString1, Decl(indexSignatures1.ts, 95, 31))
>TaggedString2 : Symbol(TaggedString2, Decl(indexSignatures1.ts, 97, 35))

declare let s4: TaggedString1 & TaggedString2;
>s4 : Symbol(s4, Decl(indexSignatures1.ts, 104, 11))
>TaggedString1 : Symbol(TaggedString1, Decl(indexSignatures1.ts, 95, 31))
>TaggedString2 : Symbol(TaggedString2, Decl(indexSignatures1.ts, 97, 35))

interface I1 { [key: TaggedString1]: string }
>I1 : Symbol(I1, Decl(indexSignatures1.ts, 104, 46))
>key : Symbol(key, Decl(indexSignatures1.ts, 106, 16))
>TaggedString1 : Symbol(TaggedString1, Decl(indexSignatures1.ts, 95, 31))

interface I2 { [key: TaggedString2]: string }
>I2 : Symbol(I2, Decl(indexSignatures1.ts, 106, 45))
>key : Symbol(key, Decl(indexSignatures1.ts, 107, 16))
>TaggedString2 : Symbol(TaggedString2, Decl(indexSignatures1.ts, 97, 35))

interface I3 { [key: TaggedString1 | TaggedString2]: string }
>I3 : Symbol(I3, Decl(indexSignatures1.ts, 107, 45))
>key : Symbol(key, Decl(indexSignatures1.ts, 108, 16))
>TaggedString1 : Symbol(TaggedString1, Decl(indexSignatures1.ts, 95, 31))
>TaggedString2 : Symbol(TaggedString2, Decl(indexSignatures1.ts, 97, 35))

interface I4 { [key: TaggedString1 & TaggedString2]: string }
>I4 : Symbol(I4, Decl(indexSignatures1.ts, 108, 61))
>key : Symbol(key, Decl(indexSignatures1.ts, 109, 16))
>TaggedString1 : Symbol(TaggedString1, Decl(indexSignatures1.ts, 95, 31))
>TaggedString2 : Symbol(TaggedString2, Decl(indexSignatures1.ts, 97, 35))

declare let i1: I1;
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))
>I1 : Symbol(I1, Decl(indexSignatures1.ts, 104, 46))

declare let i2: I2;
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))
>I2 : Symbol(I2, Decl(indexSignatures1.ts, 106, 45))

declare let i3: I3;
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))
>I3 : Symbol(I3, Decl(indexSignatures1.ts, 107, 45))

declare let i4: I4;
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))
>I4 : Symbol(I4, Decl(indexSignatures1.ts, 108, 61))

i1[s0];  // Error
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))
>s0 : Symbol(s0, Decl(indexSignatures1.ts, 100, 11))

i1[s1];
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))
>s1 : Symbol(s1, Decl(indexSignatures1.ts, 101, 11))

i1[s2];  // Error
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))
>s2 : Symbol(s2, Decl(indexSignatures1.ts, 102, 11))

i1[s3];  // Error
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))
>s3 : Symbol(s3, Decl(indexSignatures1.ts, 103, 11))

i1[s4];
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))
>s4 : Symbol(s4, Decl(indexSignatures1.ts, 104, 11))

i2[s0];  // Error
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))
>s0 : Symbol(s0, Decl(indexSignatures1.ts, 100, 11))

i2[s1];  // Error
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))
>s1 : Symbol(s1, Decl(indexSignatures1.ts, 101, 11))

i2[s2];
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))
>s2 : Symbol(s2, Decl(indexSignatures1.ts, 102, 11))

i2[s3];  // Error
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))
>s3 : Symbol(s3, Decl(indexSignatures1.ts, 103, 11))

i2[s4];
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))
>s4 : Symbol(s4, Decl(indexSignatures1.ts, 104, 11))

i3[s0];  // Error
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))
>s0 : Symbol(s0, Decl(indexSignatures1.ts, 100, 11))

i3[s1];
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))
>s1 : Symbol(s1, Decl(indexSignatures1.ts, 101, 11))

i3[s2];
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))
>s2 : Symbol(s2, Decl(indexSignatures1.ts, 102, 11))

i3[s3];
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))
>s3 : Symbol(s3, Decl(indexSignatures1.ts, 103, 11))

i3[s4];
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))
>s4 : Symbol(s4, Decl(indexSignatures1.ts, 104, 11))

i4[s0];  // Error
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))
>s0 : Symbol(s0, Decl(indexSignatures1.ts, 100, 11))

i4[s1];  // Error
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))
>s1 : Symbol(s1, Decl(indexSignatures1.ts, 101, 11))

i4[s2];  // Error
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))
>s2 : Symbol(s2, Decl(indexSignatures1.ts, 102, 11))

i4[s3];  // Error
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))
>s3 : Symbol(s3, Decl(indexSignatures1.ts, 103, 11))

i4[s4];
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))
>s4 : Symbol(s4, Decl(indexSignatures1.ts, 104, 11))

i1 = i2;  // Error
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))

i1 = i3;
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))

i1 = i4;  // Error
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))

i2 = i1;  // Error
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))

i2 = i3;
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))

i2 = i4;  // Error
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))

i3 = i1;  // Error
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))

i3 = i2;  // Error
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))

i3 = i4;  // Error
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))

i4 = i1;
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))
>i1 : Symbol(i1, Decl(indexSignatures1.ts, 111, 11))

i4 = i2;
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))
>i2 : Symbol(i2, Decl(indexSignatures1.ts, 112, 11))

i4 = i3;
>i4 : Symbol(i4, Decl(indexSignatures1.ts, 114, 11))
>i3 : Symbol(i3, Decl(indexSignatures1.ts, 113, 11))

declare let o1: { [key: TaggedString1]: string };
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))
>key : Symbol(key, Decl(indexSignatures1.ts, 156, 19))
>TaggedString1 : Symbol(TaggedString1, Decl(indexSignatures1.ts, 95, 31))

declare let o2: { [key: TaggedString2]: string };
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))
>key : Symbol(key, Decl(indexSignatures1.ts, 157, 19))
>TaggedString2 : Symbol(TaggedString2, Decl(indexSignatures1.ts, 97, 35))

declare let o3: { [key: TaggedString1 | TaggedString2]: string };
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))
>key : Symbol(key, Decl(indexSignatures1.ts, 158, 19))
>TaggedString1 : Symbol(TaggedString1, Decl(indexSignatures1.ts, 95, 31))
>TaggedString2 : Symbol(TaggedString2, Decl(indexSignatures1.ts, 97, 35))

declare let o4: { [key: TaggedString1 & TaggedString2]: string };
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))
>key : Symbol(key, Decl(indexSignatures1.ts, 159, 19))
>TaggedString1 : Symbol(TaggedString1, Decl(indexSignatures1.ts, 95, 31))
>TaggedString2 : Symbol(TaggedString2, Decl(indexSignatures1.ts, 97, 35))

o1[s0];  // Error
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))
>s0 : Symbol(s0, Decl(indexSignatures1.ts, 100, 11))

o1[s1];
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))
>s1 : Symbol(s1, Decl(indexSignatures1.ts, 101, 11))

o1[s2];  // Error
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))
>s2 : Symbol(s2, Decl(indexSignatures1.ts, 102, 11))

o1[s3];  // Error
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))
>s3 : Symbol(s3, Decl(indexSignatures1.ts, 103, 11))

o1[s4];
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))
>s4 : Symbol(s4, Decl(indexSignatures1.ts, 104, 11))

o2[s0];  // Error
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))
>s0 : Symbol(s0, Decl(indexSignatures1.ts, 100, 11))

o2[s1];  // Error
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))
>s1 : Symbol(s1, Decl(indexSignatures1.ts, 101, 11))

o2[s2];
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))
>s2 : Symbol(s2, Decl(indexSignatures1.ts, 102, 11))

o2[s3];  // Error
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))
>s3 : Symbol(s3, Decl(indexSignatures1.ts, 103, 11))

o2[s4];
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))
>s4 : Symbol(s4, Decl(indexSignatures1.ts, 104, 11))

o3[s0];  // Error
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))
>s0 : Symbol(s0, Decl(indexSignatures1.ts, 100, 11))

o3[s1];
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))
>s1 : Symbol(s1, Decl(indexSignatures1.ts, 101, 11))

o3[s2];
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))
>s2 : Symbol(s2, Decl(indexSignatures1.ts, 102, 11))

o3[s3];
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))
>s3 : Symbol(s3, Decl(indexSignatures1.ts, 103, 11))

o3[s4];
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))
>s4 : Symbol(s4, Decl(indexSignatures1.ts, 104, 11))

o4[s0];  // Error
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))
>s0 : Symbol(s0, Decl(indexSignatures1.ts, 100, 11))

o4[s1];  // Error
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))
>s1 : Symbol(s1, Decl(indexSignatures1.ts, 101, 11))

o4[s2];  // Error
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))
>s2 : Symbol(s2, Decl(indexSignatures1.ts, 102, 11))

o4[s3];  // Error
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))
>s3 : Symbol(s3, Decl(indexSignatures1.ts, 103, 11))

o4[s4];
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))
>s4 : Symbol(s4, Decl(indexSignatures1.ts, 104, 11))

o1 = o2;
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))

o1 = o3;
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))

o1 = o4;
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))

o2 = o1;
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))

o2 = o3;
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))

o2 = o4;
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))

o3 = o1;
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))

o3 = o2;
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))

o3 = o4;
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))

o4 = o1;
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))
>o1 : Symbol(o1, Decl(indexSignatures1.ts, 156, 11))

o4 = o2;
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))
>o2 : Symbol(o2, Decl(indexSignatures1.ts, 157, 11))

o4 = o3;
>o4 : Symbol(o4, Decl(indexSignatures1.ts, 159, 11))
>o3 : Symbol(o3, Decl(indexSignatures1.ts, 158, 11))

// Index signatures inferred from computed property names

const obj10 = {
>obj10 : Symbol(obj10, Decl(indexSignatures1.ts, 203, 5))

    ['x']: 0 as const,
>['x'] : Symbol(['x'], Decl(indexSignatures1.ts, 203, 15))
>'x' : Symbol(['x'], Decl(indexSignatures1.ts, 203, 15))
>const : Symbol(const)

    ['a' + 'b']: 1 as const,
>['a' + 'b'] : Symbol(['a' + 'b'], Decl(indexSignatures1.ts, 204, 22))
>const : Symbol(const)

};

const obj11 = {
>obj11 : Symbol(obj11, Decl(indexSignatures1.ts, 208, 5))

    [1]: 2 as const,
>[1] : Symbol([1], Decl(indexSignatures1.ts, 208, 15))
>1 : Symbol([1], Decl(indexSignatures1.ts, 208, 15))
>const : Symbol(const)

    [1 + 2]: 3 as const,
>[1 + 2] : Symbol([1 + 2], Decl(indexSignatures1.ts, 209, 20))
>const : Symbol(const)

};

const obj12 = {
>obj12 : Symbol(obj12, Decl(indexSignatures1.ts, 213, 5))

    [sym]: 4 as const,
>[sym] : Symbol([sym], Decl(indexSignatures1.ts, 213, 15))
>sym : Symbol(sym, Decl(indexSignatures1.ts, 2, 5))
>const : Symbol(const)

    [Symbol()]: 5 as const,
>[Symbol()] : Symbol([Symbol()], Decl(indexSignatures1.ts, 214, 22))
>Symbol : Symbol(Symbol, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.symbol.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --), Decl(lib.es2019.symbol.d.ts, --, --))
>const : Symbol(const)

};

const obj13 = {
>obj13 : Symbol(obj13, Decl(indexSignatures1.ts, 218, 5))

    ['x']: 0 as const,
>['x'] : Symbol(['x'], Decl(indexSignatures1.ts, 218, 15))
>'x' : Symbol(['x'], Decl(indexSignatures1.ts, 218, 15))
>const : Symbol(const)

    ['a' + 'b']: 1 as const,
>['a' + 'b'] : Symbol(['a' + 'b'], Decl(indexSignatures1.ts, 219, 22))
>const : Symbol(const)

    [1]: 2 as const,
>[1] : Symbol([1], Decl(indexSignatures1.ts, 220, 28))
>1 : Symbol([1], Decl(indexSignatures1.ts, 220, 28))
>const : Symbol(const)

    [1 + 2]: 3 as const,
>[1 + 2] : Symbol([1 + 2], Decl(indexSignatures1.ts, 221, 20))
>const : Symbol(const)

    [sym]: 4 as const,
>[sym] : Symbol([sym], Decl(indexSignatures1.ts, 222, 24))
>sym : Symbol(sym, Decl(indexSignatures1.ts, 2, 5))
>const : Symbol(const)

    [Symbol()]: 5 as const,
>[Symbol()] : Symbol([Symbol()], Decl(indexSignatures1.ts, 223, 22))
>Symbol : Symbol(Symbol, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.symbol.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --), Decl(lib.es2019.symbol.d.ts, --, --))
>const : Symbol(const)

};

// Repros from #1863

const system = Symbol('system');
>system : Symbol(system, Decl(indexSignatures1.ts, 229, 5))
>Symbol : Symbol(Symbol, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.symbol.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --), Decl(lib.es2019.symbol.d.ts, --, --))

const SomeSytePlugin = Symbol('SomeSytePlugin');
>SomeSytePlugin : Symbol(SomeSytePlugin, Decl(indexSignatures1.ts, 230, 5))
>Symbol : Symbol(Symbol, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.symbol.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --), Decl(lib.es2019.symbol.d.ts, --, --))

interface Plugs {
>Plugs : Symbol(Plugs, Decl(indexSignatures1.ts, 230, 48))

    [key: symbol]: (...args: any) => unknown;
>key : Symbol(key, Decl(indexSignatures1.ts, 233, 5))
>args : Symbol(args, Decl(indexSignatures1.ts, 233, 20))
}

const plugins = {
>plugins : Symbol(plugins, Decl(indexSignatures1.ts, 236, 5))

    "user": {} as Plugs,
>"user" : Symbol("user", Decl(indexSignatures1.ts, 236, 17))
>Plugs : Symbol(Plugs, Decl(indexSignatures1.ts, 230, 48))

    [system]: {} as Plugs
>[system] : Symbol([system], Decl(indexSignatures1.ts, 237, 24))
>system : Symbol(system, Decl(indexSignatures1.ts, 229, 5))
>Plugs : Symbol(Plugs, Decl(indexSignatures1.ts, 230, 48))

};

plugins[system][SomeSytePlugin] = () => console.log('awsome');
>plugins : Symbol(plugins, Decl(indexSignatures1.ts, 236, 5))
>system : Symbol(system, Decl(indexSignatures1.ts, 229, 5))
>SomeSytePlugin : Symbol(SomeSytePlugin, Decl(indexSignatures1.ts, 230, 5))
>console.log : Symbol(Console.log, Decl(lib.dom.d.ts, --, --))
>console : Symbol(console, Decl(lib.dom.d.ts, --, --))
>log : Symbol(Console.log, Decl(lib.dom.d.ts, --, --))

plugins[system][SomeSytePlugin]();
>plugins : Symbol(plugins, Decl(indexSignatures1.ts, 236, 5))
>system : Symbol(system, Decl(indexSignatures1.ts, 229, 5))
>SomeSytePlugin : Symbol(SomeSytePlugin, Decl(indexSignatures1.ts, 230, 5))

var theAnswer: symbol = Symbol('secret');
>theAnswer : Symbol(theAnswer, Decl(indexSignatures1.ts, 244, 3))
>Symbol : Symbol(Symbol, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.symbol.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --), Decl(lib.es2019.symbol.d.ts, --, --))

var obj = {} as Record<symbol, number>;
>obj : Symbol(obj, Decl(indexSignatures1.ts, 245, 3))
>Record : Symbol(Record, Decl(lib.es5.d.ts, --, --))

obj[theAnswer] = 42;
>obj : Symbol(obj, Decl(indexSignatures1.ts, 245, 3))
>theAnswer : Symbol(theAnswer, Decl(indexSignatures1.ts, 244, 3))

// Repro from #26470

const directive = Symbol('directive');
>directive : Symbol(directive, Decl(indexSignatures1.ts, 250, 5))
>Symbol : Symbol(Symbol, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.symbol.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --), Decl(lib.es2019.symbol.d.ts, --, --))

declare function foo<TArg, TRet, TDir>(options: { [x in string]: (arg: TArg) => TRet } & { [directive]?: TDir }): void;
>foo : Symbol(foo, Decl(indexSignatures1.ts, 250, 38))
>TArg : Symbol(TArg, Decl(indexSignatures1.ts, 251, 21))
>TRet : Symbol(TRet, Decl(indexSignatures1.ts, 251, 26))
>TDir : Symbol(TDir, Decl(indexSignatures1.ts, 251, 32))
>options : Symbol(options, Decl(indexSignatures1.ts, 251, 39))
>x : Symbol(x, Decl(indexSignatures1.ts, 251, 51))
>arg : Symbol(arg, Decl(indexSignatures1.ts, 251, 66))
>TArg : Symbol(TArg, Decl(indexSignatures1.ts, 251, 21))
>TRet : Symbol(TRet, Decl(indexSignatures1.ts, 251, 26))
>[directive] : Symbol([directive], Decl(indexSignatures1.ts, 251, 90))
>directive : Symbol(directive, Decl(indexSignatures1.ts, 250, 5))
>TDir : Symbol(TDir, Decl(indexSignatures1.ts, 251, 32))

let case1 = foo({
>case1 : Symbol(case1, Decl(indexSignatures1.ts, 253, 3))
>foo : Symbol(foo, Decl(indexSignatures1.ts, 250, 38))

    [directive]: (x: string) => 'str',
>[directive] : Symbol([directive], Decl(indexSignatures1.ts, 253, 17))
>directive : Symbol(directive, Decl(indexSignatures1.ts, 250, 5))
>x : Symbol(x, Decl(indexSignatures1.ts, 254, 18))

    addOne: (x: number) => x + 1,
>addOne : Symbol(addOne, Decl(indexSignatures1.ts, 254, 38))
>x : Symbol(x, Decl(indexSignatures1.ts, 255, 13))
>x : Symbol(x, Decl(indexSignatures1.ts, 255, 13))

    double: (x: number) => x + x,
>double : Symbol(double, Decl(indexSignatures1.ts, 255, 33))
>x : Symbol(x, Decl(indexSignatures1.ts, 256, 13))
>x : Symbol(x, Decl(indexSignatures1.ts, 256, 13))
>x : Symbol(x, Decl(indexSignatures1.ts, 256, 13))

});

let case2 = foo({
>case2 : Symbol(case2, Decl(indexSignatures1.ts, 259, 3))
>foo : Symbol(foo, Decl(indexSignatures1.ts, 250, 38))

    addOne: (x: number) => x + 1,
>addOne : Symbol(addOne, Decl(indexSignatures1.ts, 259, 17))
>x : Symbol(x, Decl(indexSignatures1.ts, 260, 13))
>x : Symbol(x, Decl(indexSignatures1.ts, 260, 13))

    double: (x: number) => x + x,
>double : Symbol(double, Decl(indexSignatures1.ts, 260, 33))
>x : Symbol(x, Decl(indexSignatures1.ts, 261, 13))
>x : Symbol(x, Decl(indexSignatures1.ts, 261, 13))
>x : Symbol(x, Decl(indexSignatures1.ts, 261, 13))

    [directive]: (x: string) => 'str',
>[directive] : Symbol([directive], Decl(indexSignatures1.ts, 261, 33))
>directive : Symbol(directive, Decl(indexSignatures1.ts, 250, 5))
>x : Symbol(x, Decl(indexSignatures1.ts, 262, 18))

});

let case3 = foo({
>case3 : Symbol(case3, Decl(indexSignatures1.ts, 265, 3))
>foo : Symbol(foo, Decl(indexSignatures1.ts, 250, 38))

    [directive]: 'str',
>[directive] : Symbol([directive], Decl(indexSignatures1.ts, 265, 17))
>directive : Symbol(directive, Decl(indexSignatures1.ts, 250, 5))

    addOne: (x: number) => x + 1,
>addOne : Symbol(addOne, Decl(indexSignatures1.ts, 266, 23))
>x : Symbol(x, Decl(indexSignatures1.ts, 267, 13))
>x : Symbol(x, Decl(indexSignatures1.ts, 267, 13))

    double: (x: number) => x + x,
>double : Symbol(double, Decl(indexSignatures1.ts, 267, 33))
>x : Symbol(x, Decl(indexSignatures1.ts, 268, 13))
>x : Symbol(x, Decl(indexSignatures1.ts, 268, 13))
>x : Symbol(x, Decl(indexSignatures1.ts, 268, 13))

});

// Repros from #42192

type Pseudo = `&:${string}`;
>Pseudo : Symbol(Pseudo, Decl(indexSignatures1.ts, 269, 3))

const AmIPseudo1: Pseudo = '&:test';
>AmIPseudo1 : Symbol(AmIPseudo1, Decl(indexSignatures1.ts, 275, 5))
>Pseudo : Symbol(Pseudo, Decl(indexSignatures1.ts, 269, 3))

const AmIPseudo: Pseudo = '&';  // Error
>AmIPseudo : Symbol(AmIPseudo, Decl(indexSignatures1.ts, 276, 5))
>Pseudo : Symbol(Pseudo, Decl(indexSignatures1.ts, 269, 3))

type PseudoDeclaration = { [key in Pseudo]: string };
>PseudoDeclaration : Symbol(PseudoDeclaration, Decl(indexSignatures1.ts, 276, 30))
>key : Symbol(key, Decl(indexSignatures1.ts, 278, 28))
>Pseudo : Symbol(Pseudo, Decl(indexSignatures1.ts, 269, 3))

const test: PseudoDeclaration = { 'someKey' : 'someValue' };  // Error
>test : Symbol(test, Decl(indexSignatures1.ts, 280, 5))
>PseudoDeclaration : Symbol(PseudoDeclaration, Decl(indexSignatures1.ts, 276, 30))
>'someKey' : Symbol('someKey', Decl(indexSignatures1.ts, 280, 33))

type FieldPattern = `/${string}`;
>FieldPattern : Symbol(FieldPattern, Decl(indexSignatures1.ts, 280, 60))

const path1: FieldPattern = '/one';
>path1 : Symbol(path1, Decl(indexSignatures1.ts, 284, 5))
>FieldPattern : Symbol(FieldPattern, Decl(indexSignatures1.ts, 280, 60))

const path2: FieldPattern = 'two';  // Error
>path2 : Symbol(path2, Decl(indexSignatures1.ts, 285, 5))
>FieldPattern : Symbol(FieldPattern, Decl(indexSignatures1.ts, 280, 60))

type PathsObject = { [P in FieldPattern]: object; };
>PathsObject : Symbol(PathsObject, Decl(indexSignatures1.ts, 285, 34))
>P : Symbol(P, Decl(indexSignatures1.ts, 287, 22))
>FieldPattern : Symbol(FieldPattern, Decl(indexSignatures1.ts, 280, 60))

const pathObject: PathsObject = 123;  // Error
>pathObject : Symbol(pathObject, Decl(indexSignatures1.ts, 288, 5))
>PathsObject : Symbol(PathsObject, Decl(indexSignatures1.ts, 285, 34))

type IdType = `${number}-${number}-${number}-${number}`
>IdType : Symbol(IdType, Decl(indexSignatures1.ts, 288, 36))

const id: IdType = '0000-0000-0000-0001';
>id : Symbol(id, Decl(indexSignatures1.ts, 291, 5))
>IdType : Symbol(IdType, Decl(indexSignatures1.ts, 288, 36))

type A = Record<IdType, string>;
>A : Symbol(A, Decl(indexSignatures1.ts, 291, 41))
>Record : Symbol(Record, Decl(lib.es5.d.ts, --, --))
>IdType : Symbol(IdType, Decl(indexSignatures1.ts, 288, 36))

const a: A = { [id]: 'test' }
>a : Symbol(a, Decl(indexSignatures1.ts, 295, 5))
>A : Symbol(A, Decl(indexSignatures1.ts, 291, 41))
>[id] : Symbol([id], Decl(indexSignatures1.ts, 295, 14))
>id : Symbol(id, Decl(indexSignatures1.ts, 291, 5))

let aid = a[id];
>aid : Symbol(aid, Decl(indexSignatures1.ts, 297, 3))
>a : Symbol(a, Decl(indexSignatures1.ts, 295, 5))
>id : Symbol(id, Decl(indexSignatures1.ts, 291, 5))

// Repro from #44793

interface AA {
>AA : Symbol(AA, Decl(indexSignatures1.ts, 297, 16))

    a?: string;
>a : Symbol(AA.a, Decl(indexSignatures1.ts, 301, 14))

    b?: number;
>b : Symbol(AA.b, Decl(indexSignatures1.ts, 302, 15))

    [key: symbol]: string;
>key : Symbol(key, Decl(indexSignatures1.ts, 304, 5))
}

const aa: AA = { [sym]: '123' };
>aa : Symbol(aa, Decl(indexSignatures1.ts, 307, 5))
>AA : Symbol(AA, Decl(indexSignatures1.ts, 297, 16))
>[sym] : Symbol([sym], Decl(indexSignatures1.ts, 307, 16))
>sym : Symbol(sym, Decl(indexSignatures1.ts, 2, 5))

const obj1: { [key: symbol]: string } = { [sym]: 'hello '};
>obj1 : Symbol(obj1, Decl(indexSignatures1.ts, 309, 5))
>key : Symbol(key, Decl(indexSignatures1.ts, 309, 15))
>[sym] : Symbol([sym], Decl(indexSignatures1.ts, 309, 41))
>sym : Symbol(sym, Decl(indexSignatures1.ts, 2, 5))

const obj2: { [key: string]: string } = { [sym]: 'hello '};  // Permitted for backwards compatibility
>obj2 : Symbol(obj2, Decl(indexSignatures1.ts, 310, 5))
>key : Symbol(key, Decl(indexSignatures1.ts, 310, 15))
>[sym] : Symbol([sym], Decl(indexSignatures1.ts, 310, 41))
>sym : Symbol(sym, Decl(indexSignatures1.ts, 2, 5))

const obj3: { [key: number]: string } = { [sym]: 'hello '};  // Error
>obj3 : Symbol(obj3, Decl(indexSignatures1.ts, 311, 5))
>key : Symbol(key, Decl(indexSignatures1.ts, 311, 15))
>[sym] : Symbol([sym], Decl(indexSignatures1.ts, 311, 41))
>sym : Symbol(sym, Decl(indexSignatures1.ts, 2, 5))

// Repro from #45772

type Id = string & { __tag: 'id '};
>Id : Symbol(Id, Decl(indexSignatures1.ts, 311, 59))
>__tag : Symbol(__tag, Decl(indexSignatures1.ts, 315, 20))

type Rec1 = { [key: Id]: number };
>Rec1 : Symbol(Rec1, Decl(indexSignatures1.ts, 315, 35))
>key : Symbol(key, Decl(indexSignatures1.ts, 316, 15))
>Id : Symbol(Id, Decl(indexSignatures1.ts, 311, 59))

type Rec2 = Record<Id, number>;
>Rec2 : Symbol(Rec2, Decl(indexSignatures1.ts, 316, 34))
>Record : Symbol(Record, Decl(lib.es5.d.ts, --, --))
>Id : Symbol(Id, Decl(indexSignatures1.ts, 311, 59))

type K1 = keyof Rec1;  // Id
>K1 : Symbol(K1, Decl(indexSignatures1.ts, 317, 31))
>Rec1 : Symbol(Rec1, Decl(indexSignatures1.ts, 315, 35))

type K2 = keyof Rec2;  // Id
>K2 : Symbol(K2, Decl(indexSignatures1.ts, 319, 21))
>Rec2 : Symbol(Rec2, Decl(indexSignatures1.ts, 316, 34))