Add regression tests

Author: ahejlsberg

tests/baselines/reference/deeplyNestedMappedTypes.errors.txt

@@ -4,9 +4,19 @@ deeplyNestedMappedTypes.ts(9,7): error TS2322: Type 'Id<{ x: { y: { z: { a: { b:
 deeplyNestedMappedTypes.ts(17,7): error TS2322: Type 'Id2<{ x: { y: { z: { a: { b: { c: number; }; }; }; }; }; }>' is not assignable to type 'Id2<{ x: { y: { z: { a: { b: { c: string; }; }; }; }; }; }>'.
   The types of 'x.y.z.a.b.c' are incompatible between these types.
     Type 'number' is not assignable to type 'string'.
+deeplyNestedMappedTypes.ts(69,5): error TS2322: Type '{ level1: { level2: { foo: string; }; }; }[]' is not assignable to type '{ level1: { level2: { foo: string; bar: string; }; }; }[]'.
+  Type '{ level1: { level2: { foo: string; }; }; }' is not assignable to type '{ level1: { level2: { foo: string; bar: string; }; }; }'.
+    The types of 'level1.level2' are incompatible between these types.
+      Property 'bar' is missing in type '{ foo: string; }' but required in type '{ foo: string; bar: string; }'.
+deeplyNestedMappedTypes.ts(73,5): error TS2322: Type '{ level1: { level2: { foo: string; }; }; }[]' is not assignable to type 'T'.
+  'T' could be instantiated with an arbitrary type which could be unrelated to '{ level1: { level2: { foo: string; }; }; }[]'.
+deeplyNestedMappedTypes.ts(77,5): error TS2322: Type '{ level1: { level2: { foo: string; }; }; }[]' is not assignable to type '{ level1: { level2: { foo: string; bar: string; }; }; }[]'.
+  Type '{ level1: { level2: { foo: string; }; }; }' is not assignable to type '{ level1: { level2: { foo: string; bar: string; }; }; }'.
+    The types of 'level1.level2' are incompatible between these types.
+      Property 'bar' is missing in type '{ foo: string; }' but required in type '{ foo: string; bar: string; }'.
 
 
-==== deeplyNestedMappedTypes.ts (2 errors) ====
+==== deeplyNestedMappedTypes.ts (5 errors) ====
     // Simplified repro from #55535
 
     type Id<T> = { [K in keyof T]: Id<T[K]> };
@@ -60,4 +70,109 @@ deeplyNestedMappedTypes.ts(17,7): error TS2322: Type 'Id2<{ x: { y: { z: { a: {
 
     declare const bar1: Bar1;
     const bar2: Bar2 = bar1;  // Error expected
+    
+    // Repro from #56138
+    
+    export type Input = Static<typeof Input>
+    export const Input = Type.Object({
+        level1: Type.Object({
+            level2: Type.Object({
+                foo: Type.String(),
+            })
+        })
+    })
+    
+    export type Output = Static<typeof Output>
+    export const Output = Type.Object({
+        level1: Type.Object({
+            level2: Type.Object({
+                foo: Type.String(),
+                bar: Type.String(),
+            })
+        })
+    })
+    
+    function problematicFunction1(ors: Input[]): Output[] {
+        return ors;  // Error
+        ~~~~~~
+!!! error TS2322: Type '{ level1: { level2: { foo: string; }; }; }[]' is not assignable to type '{ level1: { level2: { foo: string; bar: string; }; }; }[]'.
+!!! error TS2322:   Type '{ level1: { level2: { foo: string; }; }; }' is not assignable to type '{ level1: { level2: { foo: string; bar: string; }; }; }'.
+!!! error TS2322:     The types of 'level1.level2' are incompatible between these types.
+!!! error TS2322:       Property 'bar' is missing in type '{ foo: string; }' but required in type '{ foo: string; bar: string; }'.
+!!! related TS2728 deeplyNestedMappedTypes.ts:63:13: 'bar' is declared here.
+    }
+    
+    function problematicFunction2<T extends Output[]>(ors: Input[]): T {
+        return ors;  // Error
+        ~~~~~~
+!!! error TS2322: Type '{ level1: { level2: { foo: string; }; }; }[]' is not assignable to type 'T'.
+!!! error TS2322:   'T' could be instantiated with an arbitrary type which could be unrelated to '{ level1: { level2: { foo: string; }; }; }[]'.
+    }
+    
+    function problematicFunction3(ors: (typeof Input.static)[]): Output[] {
+        return ors;  // Error
+        ~~~~~~
+!!! error TS2322: Type '{ level1: { level2: { foo: string; }; }; }[]' is not assignable to type '{ level1: { level2: { foo: string; bar: string; }; }; }[]'.
+!!! error TS2322:   Type '{ level1: { level2: { foo: string; }; }; }' is not assignable to type '{ level1: { level2: { foo: string; bar: string; }; }; }'.
+!!! error TS2322:     The types of 'level1.level2' are incompatible between these types.
+!!! error TS2322:       Property 'bar' is missing in type '{ foo: string; }' but required in type '{ foo: string; bar: string; }'.
+!!! related TS2728 deeplyNestedMappedTypes.ts:63:13: 'bar' is declared here.
+    }
+    
+    export type Evaluate<T> = T extends infer O ? { [K in keyof O]: O[K] } : never
+    
+    export declare const Readonly: unique symbol;
+    export declare const Optional: unique symbol;
+    export declare const Hint: unique symbol;
+    export declare const Kind: unique symbol;
+    
+    export interface TKind {
+        [Kind]: string
+    }
+    export interface TSchema extends TKind {
+        [Readonly]?: string
+        [Optional]?: string
+        [Hint]?: string
+        params: unknown[]
+        static: unknown
+    }
+    
+    export type TReadonlyOptional<T extends TSchema> = TOptional<T> & TReadonly<T>
+    export type TReadonly<T extends TSchema> = T & { [Readonly]: 'Readonly' }
+    export type TOptional<T extends TSchema> = T & { [Optional]: 'Optional' }
+    
+    export interface TString extends TSchema {
+        [Kind]: 'String';
+        static: string;
+        type: 'string';
+    }
+    
+    export type ReadonlyOptionalPropertyKeys<T extends TProperties> = { [K in keyof T]: T[K] extends TReadonly<TSchema> ? (T[K] extends TOptional<T[K]> ? K : never) : never }[keyof T]
+    export type ReadonlyPropertyKeys<T extends TProperties> = { [K in keyof T]: T[K] extends TReadonly<TSchema> ? (T[K] extends TOptional<T[K]> ? never : K) : never }[keyof T]
+    export type OptionalPropertyKeys<T extends TProperties> = { [K in keyof T]: T[K] extends TOptional<TSchema> ? (T[K] extends TReadonly<T[K]> ? never : K) : never }[keyof T]
+    export type RequiredPropertyKeys<T extends TProperties> = keyof Omit<T, ReadonlyOptionalPropertyKeys<T> | ReadonlyPropertyKeys<T> | OptionalPropertyKeys<T>>
+    export type PropertiesReducer<T extends TProperties, R extends Record<keyof any, unknown>> = Evaluate<(
+        Readonly<Partial<Pick<R, ReadonlyOptionalPropertyKeys<T>>>> &
+        Readonly<Pick<R, ReadonlyPropertyKeys<T>>> &
+        Partial<Pick<R, OptionalPropertyKeys<T>>> &
+        Required<Pick<R, RequiredPropertyKeys<T>>>
+    )>
+    export type PropertiesReduce<T extends TProperties, P extends unknown[]> = PropertiesReducer<T, {
+        [K in keyof T]: Static<T[K], P>
+    }>
+    export type TPropertyKey = string | number
+    export type TProperties = Record<TPropertyKey, TSchema>
+    export interface TObject<T extends TProperties = TProperties> extends TSchema {
+        [Kind]: 'Object'
+        static: PropertiesReduce<T, this['params']>
+        type: 'object'
+        properties: T
+    }
+    
+    export type Static<T extends TSchema, P extends unknown[] = []> = (T & { params: P; })['static']
+    
+    declare namespace Type {
+        function Object<T extends TProperties>(object: T): TObject<T>
+        function String(): TString
+    }