|
| 1 | +tests/cases/conformance/types/mapped/mappedTypes4.ts(11,23): error TS2407: The right-hand side of a 'for...in' statement must be of type 'any', an object type or a type parameter, but here has type '(T & null) | (T & object)'. |
| 2 | + |
| 3 | + |
| 4 | +==== tests/cases/conformance/types/mapped/mappedTypes4.ts (1 errors) ==== |
| 5 | + type Box<T> = { |
| 6 | + }; |
| 7 | + |
| 8 | + type Boxified<T> = { |
| 9 | + [P in keyof T]: Box<T[P]>; |
| 10 | + }; |
| 11 | + |
| 12 | + function boxify<T>(obj: T): Boxified<T> { |
| 13 | + if (typeof obj === "object") { |
| 14 | + let result = {} as Boxified<T>; |
| 15 | + for (let k in obj) { |
| 16 | + ~~~ |
| 17 | +!!! error TS2407: The right-hand side of a 'for...in' statement must be of type 'any', an object type or a type parameter, but here has type '(T & null) | (T & object)'. |
| 18 | + result[k] = { value: obj[k] }; |
| 19 | + } |
| 20 | + return result; |
| 21 | + } |
| 22 | + return <any>obj; |
| 23 | + } |
| 24 | + |
| 25 | + type A = { a: string }; |
| 26 | + type B = { b: string }; |
| 27 | + type C = { c: string }; |
| 28 | + |
| 29 | + function f1(x: A | B | C | undefined) { |
| 30 | + return boxify(x); |
| 31 | + } |
| 32 | + |
| 33 | + type T00 = Partial<A | B | C>; |
| 34 | + type T01 = Readonly<A | B | C | null | undefined>; |
| 35 | + type T02 = Boxified<A | B[] | C | string> |
| 36 | + type T03 = Readonly<string | number | boolean | null | undefined | void>; |
| 37 | + type T04 = Boxified<string | number | boolean | null | undefined | void>; |
| 38 | + type T05 = Partial<"hello" | "world" | 42>; |
| 39 | + |
| 40 | + type BoxifiedWithSentinel<T, U> = { |
| 41 | + [P in keyof T]: Box<T[P]> | U; |
| 42 | + } |
| 43 | + |
| 44 | + type T10 = BoxifiedWithSentinel<A | B | C, null>; |
| 45 | + type T11 = BoxifiedWithSentinel<A | B | C, undefined>; |
| 46 | + type T12 = BoxifiedWithSentinel<string, undefined>; |
| 47 | + |
| 48 | + type DeepReadonly<T> = { |
| 49 | + readonly [P in keyof T]: DeepReadonly<T[P]>; |
| 50 | + }; |
| 51 | + |
| 52 | + type Foo = { |
| 53 | + x: number; |
| 54 | + y: { a: string, b: number }; |
| 55 | + z: boolean; |
| 56 | + }; |
| 57 | + |
| 58 | + type DeepReadonlyFoo = { |
| 59 | + readonly x: number; |
| 60 | + readonly y: { readonly a: string, readonly b: number }; |
| 61 | + readonly z: boolean; |
| 62 | + }; |
| 63 | + |
| 64 | + var x1: DeepReadonly<Foo>; |
| 65 | + var x1: DeepReadonlyFoo; |
| 66 | + |
| 67 | + // Repro from #13232 |
| 68 | + |
| 69 | + type Z = { a: number }; |
| 70 | + type Clone<T> = { |
| 71 | + [P in keyof (T & {})]: T[P]; |
| 72 | + }; |
| 73 | + type M = Clone<Z>; // M should be { a: number } |
| 74 | + |
| 75 | + var z1: Z; |
| 76 | + var z1: Clone<Z>; |
| 77 | + |
0 commit comments