* New aliases for type alias instantiations * New aliases for conditional, mapped, and anonymous object type instantiations * Accept new baselines * Fix issues with re-aliasing * Accept new baselines
91 lines
2.5 KiB
Plaintext
91 lines
2.5 KiB
Plaintext
=== tests/cases/compiler/keyofDoesntContainSymbols.ts ===
|
|
const sym = Symbol();
|
|
>sym : unique symbol
|
|
>Symbol() : unique symbol
|
|
>Symbol : SymbolConstructor
|
|
|
|
const num = 0;
|
|
>num : 0
|
|
>0 : 0
|
|
|
|
const obj = { num: 0, str: 's', [num]: num as 0, [sym]: sym };
|
|
>obj : { num: number; str: string; 0: 0; [sym]: symbol; }
|
|
>{ num: 0, str: 's', [num]: num as 0, [sym]: sym } : { num: number; str: string; 0: 0; [sym]: symbol; }
|
|
>num : number
|
|
>0 : 0
|
|
>str : string
|
|
>'s' : "s"
|
|
>[num] : 0
|
|
>num : 0
|
|
>num as 0 : 0
|
|
>num : 0
|
|
>[sym] : symbol
|
|
>sym : unique symbol
|
|
>sym : unique symbol
|
|
|
|
function set <T extends object, K extends keyof T> (obj: T, key: K, value: T[K]): T[K] {
|
|
>set : <T extends object, K extends keyof T>(obj: T, key: K, value: T[K]) => T[K]
|
|
>obj : T
|
|
>key : K
|
|
>value : T[K]
|
|
|
|
return obj[key] = value;
|
|
>obj[key] = value : T[K]
|
|
>obj[key] : T[K]
|
|
>obj : T
|
|
>key : K
|
|
>value : T[K]
|
|
}
|
|
|
|
const val = set(obj, 'str', '');
|
|
>val : string
|
|
>set(obj, 'str', '') : string
|
|
>set : <T extends object, K extends keyof T>(obj: T, key: K, value: T[K]) => T[K]
|
|
>obj : { num: number; str: string; 0: 0; [sym]: symbol; }
|
|
>'str' : "str"
|
|
>'' : ""
|
|
|
|
// string
|
|
const valB = set(obj, 'num', '');
|
|
>valB : number
|
|
>set(obj, 'num', '') : number
|
|
>set : <T extends object, K extends keyof T>(obj: T, key: K, value: T[K]) => T[K]
|
|
>obj : { num: number; str: string; 0: 0; [sym]: symbol; }
|
|
>'num' : "num"
|
|
>'' : ""
|
|
|
|
// Expect type error
|
|
// Argument of type '""' is not assignable to parameter of type 'number'.
|
|
const valC = set(obj, sym, sym);
|
|
>valC : string | number
|
|
>set(obj, sym, sym) : string | number
|
|
>set : <T extends object, K extends keyof T>(obj: T, key: K, value: T[K]) => T[K]
|
|
>obj : { num: number; str: string; 0: 0; [sym]: symbol; }
|
|
>sym : unique symbol
|
|
>sym : unique symbol
|
|
|
|
// Expect type error
|
|
// Argument of type 'unique symbol' is not assignable to parameter of type "str" | "num"
|
|
const valD = set(obj, num, num);
|
|
>valD : string | number
|
|
>set(obj, num, num) : string | number
|
|
>set : <T extends object, K extends keyof T>(obj: T, key: K, value: T[K]) => T[K]
|
|
>obj : { num: number; str: string; 0: 0; [sym]: symbol; }
|
|
>num : 0
|
|
>num : 0
|
|
|
|
// Expect type error
|
|
// Argument of type '0' is not assignable to parameter of type "str" | "num"
|
|
type KeyofObj = keyof typeof obj;
|
|
>KeyofObj : "str" | "num"
|
|
>obj : { num: number; str: string; 0: 0; [sym]: symbol; }
|
|
|
|
// "str" | "num"
|
|
type Values<T> = T[keyof T];
|
|
>Values : Values<T>
|
|
|
|
type ValuesOfObj = Values<typeof obj>;
|
|
>ValuesOfObj : ValuesOfObj
|
|
>obj : { num: number; str: string; 0: 0; [sym]: symbol; }
|
|
|