Update submodule with type ordering changes

testdata/baselines/reference/submodule/compiler/correlatedUnions.types.diff

@@ -141,23 +141,4 @@
 +><  K extends KeyOfOriginal,  N extends NestedKeyOfOriginalFor<K>>(  original: Original,  mappedFromOriginal: MappedFromOriginal,  key: K,  nestedKey: N): [Original[K][N], MappedFromOriginal[K][N]] => {  return [original[key][nestedKey], mappedFromOriginal[key][nestedKey]];} : <K extends keyof Original, N extends keyof Original[K]>(original: Original, mappedFromOriginal: SameKeys<Original>, key: K, nestedKey: N) => [Original[K][N], SameKeys<Original>[K][N]]
 
    K extends KeyOfOriginal,
-   N extends NestedKeyOfOriginalFor<K>
-@@= skipped -63, +63 lines =@@
- >key : T
-
-   const assertedCheck = userValue ? userValue! : defaultValue;
-->assertedCheck : NonNullable<Partial<Config>[T]>
-->userValue ? userValue! : defaultValue : NonNullable<Partial<Config>[T]>
-+>assertedCheck : Config[T]
-+>userValue ? userValue! : defaultValue : Config[T]
- >userValue : Partial<Config>[T]
- >userValue! : NonNullable<Partial<Config>[T]>
- >userValue : NonNullable<Partial<Config>[T]>
- >defaultValue : Config[T]
-
-   return assertedCheck;
-->assertedCheck : NonNullable<Partial<Config>[T]>
-+>assertedCheck : Config[T]
- }
-
- // repro from #47523
+   N extends NestedKeyOfOriginalFor<K>

testdata/baselines/reference/submodule/compiler/objectLiteralExcessProperties.types.diff

@@ -17,13 +17,4 @@
 +>obj4 : { name: string; } | T & { prop: boolean; }
  >prop : boolean
  >name : string
- >{ name: "test", prop: true } : { name: string; prop: boolean; }
-@@= skipped -11, +11 lines =@@
-
-     // No excess property checks when union includes 'object' type
-     const obj5: object | { x: string } = { z: 'abc' }
-->obj5 : { x: string; } | object
-+>obj5 : object | { x: string; }
- >x : string
- >{ z: 'abc' } : { z: string; }
- >z : string
+ >{ name: "test", prop: true } : { name: string; prop: boolean; }

testdata/baselines/reference/submodule/compiler/typeGuardConstructorClassAndNumber.types.diff

@@ -5,15 +5,7 @@
 
  function foo(instance: Function | object) {
 ->foo : (instance: Function | object) => number
-->instance : Function | object
 +>foo : (instance: object | Function) => number
-+>instance : object | Function
+ >instance : object | Function
 
-     if (typeof instance === 'function') {
- >typeof instance === 'function' : boolean
- >typeof instance : "bigint" | "boolean" | "function" | "number" | "object" | "string" | "symbol" | "undefined"
-->instance : Function | object
-+>instance : object | Function
- >'function' : "function"
-
-         if (instance.prototype == null || instance.prototype.constructor == null) {
+     if (typeof instance === 'function') {

testdata/baselines/reference/submodule/compiler/unionOfFunctionAndSignatureIsCallable.types.diff

@@ -20,10 +20,8 @@
  >callable : Function | (() => object)
  }
 
- function f2(fetcherParams: object | (() => object)) {
- >f2 : (fetcherParams: object | (() => object)) => void
-->fetcherParams : (() => object) | object
-+>fetcherParams : object | (() => object)
+@@= skipped -10, +10 lines =@@
+ >fetcherParams : object | (() => object)
 
      const data = typeof fetcherParams === 'function'
 ->data : error
@@ -32,8 +30,7 @@
 +>typeof fetcherParams === 'function'        ? fetcherParams()        : fetcherParams : any
  >typeof fetcherParams === 'function' : boolean
  >typeof fetcherParams : "bigint" | "boolean" | "function" | "number" | "object" | "string" | "symbol" | "undefined"
-->fetcherParams : (() => object) | object
-+>fetcherParams : object | (() => object)
+ >fetcherParams : object | (() => object)
  >'function' : "function"
 
          ? fetcherParams()

testdata/baselines/reference/submodule/compiler/vueLikeDataAndPropsInference2.types.diff

@@ -10,9 +10,8 @@
 
  declare function test(fn: Options): void;
 ->test : { <Data, Props>(fn: ThisTypedOptions<Data, Props>): void; (fn: Options): void; }
-->fn : Options<((this: Instance) => object) | object, PropsDefinition<Record<string, any>>>
 +>test : { <Data, Props>(fn: ThisTypedOptions<Data, Props>): void; (fn: Options<object | ((this: Instance) => object), PropsDefinition<Record<string, any>>>): void; }
-+>fn : Options<object | ((this: Instance) => object), PropsDefinition<Record<string, any>>>
+ >fn : Options<object | ((this: Instance) => object), PropsDefinition<Record<string, any>>>
 
  test({
  >test({    props: {        foo: ''    },    data(): { bar: boolean } {        return {            bar: true        }    },    watch: {        foo(newVal: string, oldVal: string): void {            this.bar = false        }    }}) : void

testdata/baselines/reference/submodule/conformance/conditionalTypes2.types.diff

@@ -9,16 +9,7 @@
  >predicate : (v: T) => boolean
  >v : T
 
-@@= skipped -29, +29 lines =@@
-
- declare function toString1(value: object | Function): string ;
- >toString1 : (value: object | Function) => string
-->value : Function | object
-+>value : object | Function
-
- declare function toString2(value: Function): string ;
- >toString2 : (value: Function) => string
-@@= skipped -173, +173 lines =@@
+@@= skipped -202, +202 lines =@@
  // Repro from #33568
 
  declare function save(_response: IRootResponse<string>): void;

testdata/baselines/reference/submodule/conformance/generatorYieldContextualType.types.diff

@@ -46,16 +46,7 @@
 
    _step: T,
  >_step : T
-@@= skipped -9, +9 lines =@@
- >_state : PartialStepState<unknown>
-
-   _selection: StepItemType<T> | Directive
-->_selection : Directive | StepItemType<T>
-+>_selection : StepItemType<T> | Directive
-
- ): _selection is StepItemType<T> {
-   return false;
-@@= skipped -19, +19 lines =@@
+@@= skipped -28, +28 lines =@@
  }
 
  function* showStep<

testdata/baselines/reference/submodule/conformance/inOperatorWithValidOperands.types.diff

@@ -5,16 +5,7 @@
 
  function unionCase2<T>(t: T | object) {
 ->unionCase2 : <T>(t: T | object) => void
-->t : T | object
 +>unionCase2 : <T>(t: object | T) => void
-+>t : object | T
+ >t : object | T
 
-     var rb5 = x in t;
- >rb5 : boolean
- >x in t : boolean
- >x : any
-->t : T | object
-+>t : object | T
- }
-
- interface X { x: number }
+     var rb5 = x in t;

testdata/baselines/reference/submodule/conformance/spreadObjectOrFalsy.types.diff

@@ -17,21 +17,7 @@
  }
 
  function f3<T extends undefined>(a: T) {
-@@= skipped -19, +19 lines =@@
-
- function f4<T extends undefined>(a: object | T) {
- >f4 : <T extends undefined>(a: object | T) => {}
-->a : T | object
-+>a : object | T
-
-     return { ...a };
- >{ ...a } : {}
-->a : T | object
-+>a : object | T
- }
-
- function f5<S, T extends undefined>(a: S | T) {
-@@= skipped -28, +28 lines =@@
+@@= skipped -47, +47 lines =@@
  // Repro from #46976
 
  function g1<T extends {}, A extends { z: (T | undefined) & T }>(a: A) {

testdata/baselines/reference/submodule/conformance/templateLiteralTypes3.types.diff

@@ -111,18 +111,18 @@
  >id : string
 
      let x: keyof T & string | `-${keyof T & string}`;
-->x : (keyof T & string) | `-${keyof T & string}`
+->x : `-${keyof T & string}` | (keyof T & string)
 +>x : `-${keyof T & string}` | keyof T & string
 
      x = "id";
  >x = "id" : "id"
-->x : (keyof T & string) | `-${keyof T & string}`
+->x : `-${keyof T & string}` | (keyof T & string)
 +>x : `-${keyof T & string}` | keyof T & string
  >"id" : "id"
 
      x = "-id";
  >x = "-id" : "-id"
-->x : (keyof T & string) | `-${keyof T & string}`
+->x : `-${keyof T & string}` | (keyof T & string)
 +>x : `-${keyof T & string}` | keyof T & string
  >"-id" : "-id"
  }