Skip to content

Commit

Permalink
Fix baselines from recent merge (#58037)
Browse files Browse the repository at this point in the history
  • Loading branch information
@jakebailey
jakebailey authored Apr 2, 2024
1 parent 520772e commit 66f5be9
Show file tree
Hide file tree
Showing 2 changed files with 101 additions and 1 deletion.
36 changes: 35 additions & 1 deletion tests/baselines/reference/noInferCommonPropertyCheck1.types
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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; }
> : ^^^^^^^^^^^^^^

66 changes: 66 additions & 0 deletions tests/baselines/reference/noInferUnionExcessPropertyCheck1.types
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
> : ^^

0 comments on commit 66f5be9

Please sign in to comment.