50 lines
1.2 KiB
TypeScript
50 lines
1.2 KiB
TypeScript
//// [mappedTypeErrors2.ts]
|
|
// Repros from #17238
|
|
|
|
type AB = {
|
|
a: 'a'
|
|
b: 'a'
|
|
};
|
|
|
|
type T1<K extends keyof AB> = { [key in AB[K]]: true };
|
|
type T2<K extends 'a'|'b'> = T1<K>[K]; // Error
|
|
|
|
type R = AB[keyof AB]; // "a"
|
|
type T3 = { [key in R]: true };
|
|
type T4<K extends 'a'|'b'> = T3[K] // Error
|
|
|
|
type T5<S extends 'a'|'b'|'extra'> = {[key in AB[S]]: true}[S]; // Error
|
|
|
|
type T6<S extends 'a'|'b', L extends 'a'|'b'> = {[key in AB[S]]: true}[L]; // Error
|
|
|
|
type T7<S extends 'a'|'b', L extends 'a'> = {[key in AB[S]]: true}[L];
|
|
|
|
|
|
//// [mappedTypeErrors2.js]
|
|
// Repros from #17238
|
|
|
|
|
|
//// [mappedTypeErrors2.d.ts]
|
|
declare type AB = {
|
|
a: 'a';
|
|
b: 'a';
|
|
};
|
|
declare type T1<K extends keyof AB> = {
|
|
[key in AB[K]]: true;
|
|
};
|
|
declare type T2<K extends 'a' | 'b'> = T1<K>[K];
|
|
declare type R = AB[keyof AB];
|
|
declare type T3 = {
|
|
[key in R]: true;
|
|
};
|
|
declare type T4<K extends 'a' | 'b'> = T3[K];
|
|
declare type T5<S extends 'a' | 'b' | 'extra'> = {
|
|
[key in AB[S]]: true;
|
|
}[S];
|
|
declare type T6<S extends 'a' | 'b', L extends 'a' | 'b'> = {
|
|
[key in AB[S]]: true;
|
|
}[L];
|
|
declare type T7<S extends 'a' | 'b', L extends 'a'> = {
|
|
[key in AB[S]]: true;
|
|
}[L];
|