From 66f5be9c0ec5e4f690456e0e87d78015822139b4 Mon Sep 17 00:00:00 2001
From: Jake Bailey <5341706+jakebailey@users.noreply.github.com>
Date: Tue, 2 Apr 2024 09:51:01 -0700
Subject: [PATCH] Fix baselines from recent merge (#58037)

---
 .../noInferCommonPropertyCheck1.types         | 36 +++++++++-
 .../noInferUnionExcessPropertyCheck1.types    | 66 +++++++++++++++++++
 2 files changed, 101 insertions(+), 1 deletion(-)

diff --git a/tests/baselines/reference/noInferCommonPropertyCheck1.types b/tests/baselines/reference/noInferCommonPropertyCheck1.types
index 7097dd67bf98a..c012d8e5dc393 100644
--- a/tests/baselines/reference/noInferCommonPropertyCheck1.types
+++ b/tests/baselines/reference/noInferCommonPropertyCheck1.types
@@ -3,69 +3,103 @@
 === noInferCommonPropertyCheck1.ts ===
 declare const partialObj1: Partial<{ a: unknown; b: unknown }>;
 >partialObj1 : Partial<{ a: unknown; b: unknown; }>
+>            : ^^^^^^^^^^^^^       ^^^^^       ^^^^
 >a : unknown
+>  : ^^^^^^^
 >b : unknown
+>  : ^^^^^^^
 
 declare const partialObj2: Partial<{ c: unknown; d: unknown }>;
 >partialObj2 : Partial<{ c: unknown; d: unknown; }>
+>            : ^^^^^^^^^^^^^       ^^^^^       ^^^^
 >c : unknown
+>  : ^^^^^^^
 >d : unknown
+>  : ^^^^^^^
 
 declare const someObj1: { x: string };
 >someObj1 : { x: string; }
+>         : ^^^^^      ^^^
 >x : string
+>  : ^^^^^^
 
 declare function test1<T>(a: T, b: NoInfer<T> & { prop?: unknown }): void;
->test1 : <T>(a: T, b: NoInfer<T> & {    prop?: unknown;}) => void
+>test1 : <T>(a: T, b: NoInfer<T> & { prop?: unknown; }) => void
+>      : ^ ^^^^^ ^^^^^                                ^^^^^    
 >a : T
+>  : ^
 >b : NoInfer<T> & { prop?: unknown; }
+>  : ^^^^^^^^^^^^^^^^^^^^^^       ^^^
 >prop : unknown
+>     : ^^^^^^^
 
 test1(partialObj1, someObj1);
 >test1(partialObj1, someObj1) : void
+>                             : ^^^^
 >test1 : <T>(a: T, b: NoInfer<T> & { prop?: unknown; }) => void
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >partialObj1 : Partial<{ a: unknown; b: unknown; }>
+>            : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >someObj1 : { x: string; }
+>         : ^^^^^^^^^^^^^^
 
 declare function test2<T1, T2>(
 >test2 : <T1, T2>(a: T1, b: T2, c: NoInfer<T1> & NoInfer<T2>) => void
+>      : ^  ^^  ^^^^^  ^^^^^  ^^^^^                         ^^^^^    
 
   a: T1,
 >a : T1
+>  : ^^
 
   b: T2,
 >b : T2
+>  : ^^
 
   c: NoInfer<T1> & NoInfer<T2>,
 >c : NoInfer<T1> & NoInfer<T2>
+>  : ^^^^^^^^^^^^^^^^^^^^^^^^^
 
 ): void;
 
 test2(partialObj1, partialObj2, someObj1);
 >test2(partialObj1, partialObj2, someObj1) : void
+>                                          : ^^^^
 >test2 : <T1, T2>(a: T1, b: T2, c: NoInfer<T1> & NoInfer<T2>) => void
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >partialObj1 : Partial<{ a: unknown; b: unknown; }>
+>            : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >partialObj2 : Partial<{ c: unknown; d: unknown; }>
+>            : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >someObj1 : { x: string; }
+>         : ^^^^^^^^^^^^^^
 
 declare function test3<T1, T2>(
 >test3 : <T1, T2>(a: T1, b: T2, c: NoInfer<T1 & T2>) => void
+>      : ^  ^^  ^^^^^  ^^^^^  ^^^^^                ^^^^^    
 
   a: T1,
 >a : T1
+>  : ^^
 
   b: T2,
 >b : T2
+>  : ^^
 
   c: NoInfer<T1 & T2>,
 >c : NoInfer<T1 & T2>
+>  : ^^^^^^^^^^^^^^^^
 
 ): void;
 
 test3(partialObj1, partialObj2, someObj1);
 >test3(partialObj1, partialObj2, someObj1) : void
+>                                          : ^^^^
 >test3 : <T1, T2>(a: T1, b: T2, c: NoInfer<T1 & T2>) => void
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >partialObj1 : Partial<{ a: unknown; b: unknown; }>
+>            : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >partialObj2 : Partial<{ c: unknown; d: unknown; }>
+>            : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >someObj1 : { x: string; }
+>         : ^^^^^^^^^^^^^^
 
diff --git a/tests/baselines/reference/noInferUnionExcessPropertyCheck1.types b/tests/baselines/reference/noInferUnionExcessPropertyCheck1.types
index 50c0b43aac64e..8411f42bf5a34 100644
--- a/tests/baselines/reference/noInferUnionExcessPropertyCheck1.types
+++ b/tests/baselines/reference/noInferUnionExcessPropertyCheck1.types
@@ -3,103 +3,169 @@
 === noInferUnionExcessPropertyCheck1.ts ===
 declare function test1<T extends { x: string }>(
 >test1 : <T extends { x: string; }>(a: T, b: NoInfer<T> | (() => NoInfer<T>)) => void
+>      : ^ ^^^^^^^^^^^^^^      ^^^^^^^^ ^^^^^                               ^^^^^    
 >x : string
+>  : ^^^^^^
 
   a: T,
 >a : T
+>  : ^
 
   b: NoInfer<T> | (() => NoInfer<T>),
 >b : NoInfer<T> | (() => NoInfer<T>)
+>  : ^^^^^^^^^^^^^^^^^^^^          ^
 
 ): void;
 
 test1({ x: "foo" }, { x: "bar" }); // no error
 >test1({ x: "foo" }, { x: "bar" }) : void
+>                                  : ^^^^
 >test1 : <T extends { x: string; }>(a: T, b: NoInfer<T> | (() => NoInfer<T>)) => void
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >{ x: "foo" } : { x: string; }
+>             : ^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"foo" : "foo"
+>      : ^^^^^
 >{ x: "bar" } : { x: string; }
+>             : ^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"bar" : "bar"
+>      : ^^^^^
 
 test1({ x: "foo" }, { x: "bar", y: 42 }); // epc error
 >test1({ x: "foo" }, { x: "bar", y: 42 }) : void
+>                                         : ^^^^
 >test1 : <T extends { x: string; }>(a: T, b: NoInfer<T> | (() => NoInfer<T>)) => void
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >{ x: "foo" } : { x: string; }
+>             : ^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"foo" : "foo"
+>      : ^^^^^
 >{ x: "bar", y: 42 } : { x: string; y: number; }
+>                    : ^^^^^^^^^^^^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"bar" : "bar"
+>      : ^^^^^
 >y : number
+>  : ^^^^^^
 >42 : 42
+>   : ^^
 
 declare function test2<T extends { x: string }>(
 >test2 : <T extends { x: string; }>(a: T, b: NoInfer<T> | NoInfer<() => T>) => void
+>      : ^ ^^^^^^^^^^^^^^      ^^^^^^^^ ^^^^^                             ^^^^^    
 >x : string
+>  : ^^^^^^
 
   a: T,
 >a : T
+>  : ^
 
   b: NoInfer<T> | NoInfer<() => T>,
 >b : NoInfer<T> | NoInfer<() => T>
+>  : ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^
 
 ): void;
 
 test2({ x: "foo" }, { x: "bar" }); // no error
 >test2({ x: "foo" }, { x: "bar" }) : void
+>                                  : ^^^^
 >test2 : <T extends { x: string; }>(a: T, b: NoInfer<T> | NoInfer<() => T>) => void
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >{ x: "foo" } : { x: string; }
+>             : ^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"foo" : "foo"
+>      : ^^^^^
 >{ x: "bar" } : { x: string; }
+>             : ^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"bar" : "bar"
+>      : ^^^^^
 
 test2({ x: "foo" }, { x: "bar", y: 42 }); // epc error
 >test2({ x: "foo" }, { x: "bar", y: 42 }) : void
+>                                         : ^^^^
 >test2 : <T extends { x: string; }>(a: T, b: NoInfer<T> | NoInfer<() => T>) => void
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >{ x: "foo" } : { x: string; }
+>             : ^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"foo" : "foo"
+>      : ^^^^^
 >{ x: "bar", y: 42 } : { x: string; y: number; }
+>                    : ^^^^^^^^^^^^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"bar" : "bar"
+>      : ^^^^^
 >y : number
+>  : ^^^^^^
 >42 : 42
+>   : ^^
 
 declare function test3<T extends { x: string }>(
 >test3 : <T extends { x: string; }>(a: T, b: NoInfer<T | (() => T)>) => void
+>      : ^ ^^^^^^^^^^^^^^      ^^^^^^^^ ^^^^^                      ^^^^^    
 >x : string
+>  : ^^^^^^
 
   a: T,
 >a : T
+>  : ^
 
   b: NoInfer<T | (() => T)>,
 >b : NoInfer<T | (() => T)>
+>  : ^^^^^^^^^^^^^^^^^^^ ^^
 
 ): void;
 
 test3({ x: "foo" }, { x: "bar" }); // no error
 >test3({ x: "foo" }, { x: "bar" }) : void
+>                                  : ^^^^
 >test3 : <T extends { x: string; }>(a: T, b: NoInfer<T | (() => T)>) => void
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >{ x: "foo" } : { x: string; }
+>             : ^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"foo" : "foo"
+>      : ^^^^^
 >{ x: "bar" } : { x: string; }
+>             : ^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"bar" : "bar"
+>      : ^^^^^
 
 test3({ x: "foo" }, { x: "bar", y: 42 }); // epc error
 >test3({ x: "foo" }, { x: "bar", y: 42 }) : void
+>                                         : ^^^^
 >test3 : <T extends { x: string; }>(a: T, b: NoInfer<T | (() => T)>) => void
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >{ x: "foo" } : { x: string; }
+>             : ^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"foo" : "foo"
+>      : ^^^^^
 >{ x: "bar", y: 42 } : { x: string; y: number; }
+>                    : ^^^^^^^^^^^^^^^^^^^^^^^^^
 >x : string
+>  : ^^^^^^
 >"bar" : "bar"
+>      : ^^^^^
 >y : number
+>  : ^^^^^^
 >42 : 42
+>   : ^^