Add extra test case

Co-authored-by: Hans Brende <[email protected]>

Author: Andarist

tests/baselines/reference/exactOptionalPropertyTypesIdentical.symbols

@@ -0,0 +1,18 @@
+//// [tests/cases/compiler/exactOptionalPropertyTypesIdentical.ts] ////
+
+=== exactOptionalPropertyTypesIdentical.ts ===
+// https://github.com/microsoft/TypeScript/issues/61547
+
+export let a: <T>() => T extends {a?: string} ? 0 : 1 = null!;
+>a : Symbol(a, Decl(exactOptionalPropertyTypesIdentical.ts, 2, 10))
+>T : Symbol(T, Decl(exactOptionalPropertyTypesIdentical.ts, 2, 15))
+>T : Symbol(T, Decl(exactOptionalPropertyTypesIdentical.ts, 2, 15))
+>a : Symbol(a, Decl(exactOptionalPropertyTypesIdentical.ts, 2, 34))
+
+export let b: <T>() => T extends {a?: string | undefined} ? 0 : 1 = a;
+>b : Symbol(b, Decl(exactOptionalPropertyTypesIdentical.ts, 3, 10))
+>T : Symbol(T, Decl(exactOptionalPropertyTypesIdentical.ts, 3, 15))
+>T : Symbol(T, Decl(exactOptionalPropertyTypesIdentical.ts, 3, 15))
+>a : Symbol(a, Decl(exactOptionalPropertyTypesIdentical.ts, 3, 34))
+>a : Symbol(a, Decl(exactOptionalPropertyTypesIdentical.ts, 2, 10))
+

tests/baselines/reference/exactOptionalPropertyTypesIdentical.types

@@ -0,0 +1,21 @@
+//// [tests/cases/compiler/exactOptionalPropertyTypesIdentical.ts] ////
+
+=== exactOptionalPropertyTypesIdentical.ts ===
+// https://github.com/microsoft/TypeScript/issues/61547
+
+export let a: <T>() => T extends {a?: string} ? 0 : 1 = null!;
+>a : <T>() => T extends { a?: string; } ? 0 : 1
+>  : ^ ^^^^^^^                                 
+>a : string | undefined
+>  : ^^^^^^^^^^^^^^^^^^
+>null! : never
+>      : ^^^^^
+
+export let b: <T>() => T extends {a?: string | undefined} ? 0 : 1 = a;
+>b : <T>() => T extends { a?: string | undefined; } ? 0 : 1
+>  : ^ ^^^^^^^                                             
+>a : string | undefined
+>  : ^^^^^^^^^^^^^^^^^^
+>a : <T>() => T extends { a?: string; } ? 0 : 1
+>  : ^ ^^^^^^^                                 
+

tests/cases/compiler/exactOptionalPropertyTypesIdentical.ts

@@ -0,0 +1,8 @@
+// @strictNullChecks: true
+// @exactOptionalPropertyTypes: true
+// @noEmit: true
+
+// https://github.com/microsoft/TypeScript/issues/61547
+
+export let a: <T>() => T extends {a?: string} ? 0 : 1 = null!;
+export let b: <T>() => T extends {a?: string | undefined} ? 0 : 1 = a;