From 2b11b723e199eadebedaadb6b5e96e4a4f7e7269 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 19 Sep 2026 01:25:12 +0000
Subject: [PATCH 1/2] Initial plan


From f8f7e044e4cc0d04ead007c179b603db0a8a9a88 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 19 Sep 2026 01:35:19 +0000
Subject: [PATCH 2/2] Model required currency/unit options for
 Intl.NumberFormat currency/unit styles

Co-authored-by: RyanCavanaugh <6685088+RyanCavanaugh@users.noreply.github.com>
---
 .../bundled/libs/lib.es2020.intl.d.ts         |   8 +-
 tsc/internal/bundled/libs/lib.es5.d.ts        |  14 +-
 ...umberFormatRequiredStyleOptions.errors.txt |  61 +++++++++
 .../intlNumberFormatRequiredStyleOptions.js   |  40 ++++++
 ...tlNumberFormatRequiredStyleOptions.symbols |  82 ++++++++++++
 ...intlNumberFormatRequiredStyleOptions.types | 122 ++++++++++++++++++
 .../intlNumberFormatRequiredStyleOptions.ts   |  22 ++++
 7 files changed, 345 insertions(+), 4 deletions(-)
 create mode 100644 tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.errors.txt
 create mode 100644 tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.js
 create mode 100644 tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.symbols
 create mode 100644 tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.types
 create mode 100644 tsc/testdata/tests/cases/conformance/es2020/intlNumberFormatRequiredStyleOptions.ts

diff --git a/tsc/internal/bundled/libs/lib.es2020.intl.d.ts b/tsc/internal/bundled/libs/lib.es2020.intl.d.ts
index 6f0980e0fe909..76b9d5c5e8b77 100644
--- a/tsc/internal/bundled/libs/lib.es2020.intl.d.ts
+++ b/tsc/internal/bundled/libs/lib.es2020.intl.d.ts
@@ -243,6 +243,10 @@ declare namespace Intl {
         unit: never;
     }
 
+    interface NumberFormatOptionsStyleRequiredOptionsRegistry {
+        unit: { unit: string };
+    }
+
     interface NumberFormatOptionsCurrencyDisplayRegistry {
         narrowSymbol: never;
     }
@@ -458,8 +462,8 @@ declare namespace Intl {
     }
 
     interface NumberFormatConstructor {
-        new (locales?: LocalesArgument, options?: NumberFormatOptions): NumberFormat;
-        (locales?: LocalesArgument, options?: NumberFormatOptions): NumberFormat;
+        new <T extends NumberFormatOptions = NumberFormatOptions>(locales?: LocalesArgument, options?: T & NumberFormatOptionsStyleRequiredOptions<T["style"]>): NumberFormat;
+        <T extends NumberFormatOptions = NumberFormatOptions>(locales?: LocalesArgument, options?: T & NumberFormatOptionsStyleRequiredOptions<T["style"]>): NumberFormat;
         supportedLocalesOf(locales: LocalesArgument, options?: NumberFormatOptions): string[];
     }
 
diff --git a/tsc/internal/bundled/libs/lib.es5.d.ts b/tsc/internal/bundled/libs/lib.es5.d.ts
index e394111cb0e6c..37ffbaa32f960 100644
--- a/tsc/internal/bundled/libs/lib.es5.d.ts
+++ b/tsc/internal/bundled/libs/lib.es5.d.ts
@@ -4455,6 +4455,16 @@ declare namespace Intl {
 
     type NumberFormatOptionsStyle = keyof NumberFormatOptionsStyleRegistry;
 
+    interface NumberFormatOptionsStyleRequiredOptionsRegistry {
+        decimal: {};
+        percent: {};
+        currency: { currency: string };
+    }
+
+    type NumberFormatOptionsStyleRequiredOptions<Style> = Style extends keyof NumberFormatOptionsStyleRequiredOptionsRegistry
+        ? NumberFormatOptionsStyleRequiredOptionsRegistry[Style]
+        : {};
+
     interface NumberFormatOptionsCurrencyDisplayRegistry {
         code: never;
         symbol: never;
@@ -4501,8 +4511,8 @@ declare namespace Intl {
     }
 
     interface NumberFormatConstructor {
-        new (locales?: string | string[], options?: NumberFormatOptions): NumberFormat;
-        (locales?: string | string[], options?: NumberFormatOptions): NumberFormat;
+        new <T extends NumberFormatOptions = NumberFormatOptions>(locales?: string | string[], options?: T & NumberFormatOptionsStyleRequiredOptions<T["style"]>): NumberFormat;
+        <T extends NumberFormatOptions = NumberFormatOptions>(locales?: string | string[], options?: T & NumberFormatOptionsStyleRequiredOptions<T["style"]>): NumberFormat;
         supportedLocalesOf(locales: string | string[], options?: NumberFormatOptions): string[];
         readonly prototype: NumberFormat;
     }
diff --git a/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.errors.txt b/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.errors.txt
new file mode 100644
index 0000000000000..75344e4db9b27
--- /dev/null
+++ b/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.errors.txt
@@ -0,0 +1,61 @@
+intlNumberFormatRequiredStyleOptions.ts(3,32): error TS2769: No overload matches this call.
+  The last overload gave the following error.
+    Argument of type '{ style: "currency"; }' is not assignable to parameter of type '{ style: "currency"; } & { currency: string; }'.
+      Property 'currency' is missing in type '{ style: "currency"; }' but required in type '{ currency: string; }'.
+intlNumberFormatRequiredStyleOptions.ts(4,32): error TS2769: No overload matches this call.
+  The last overload gave the following error.
+    Argument of type '{ style: "currency"; currency: undefined; }' is not assignable to parameter of type 'undefined'.
+intlNumberFormatRequiredStyleOptions.ts(8,32): error TS2769: No overload matches this call.
+  The last overload gave the following error.
+    Argument of type '{ style: "unit"; }' is not assignable to parameter of type '{ style: "unit"; } & { unit: string; }'.
+      Property 'unit' is missing in type '{ style: "unit"; }' but required in type '{ unit: string; }'.
+intlNumberFormatRequiredStyleOptions.ts(9,32): error TS2769: No overload matches this call.
+  The last overload gave the following error.
+    Argument of type '{ style: "unit"; unit: undefined; }' is not assignable to parameter of type 'undefined'.
+
+
+==== intlNumberFormatRequiredStyleOptions.ts (4 errors) ====
+    // Currency style requires a currency to be specified.
+    new Intl.NumberFormat('en-NZ', { style: 'currency', currency: 'NZD' });
+    new Intl.NumberFormat('en-NZ', { style: 'currency' });
+                                   ~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2769: No overload matches this call.
+!!! error TS2769:   The last overload gave the following error.
+!!! error TS2769:     Argument of type '{ style: "currency"; }' is not assignable to parameter of type '{ style: "currency"; } & { currency: string; }'.
+!!! error TS2769:       Property 'currency' is missing in type '{ style: "currency"; }' but required in type '{ currency: string; }'.
+!!! related TS2728 lib.es5.d.ts:--:--: 'currency' is declared here.
+!!! related TS2771 lib.es5.d.ts:--:--: The last overload is declared here.
+    new Intl.NumberFormat('en-NZ', { style: 'currency', currency: undefined });
+                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2769: No overload matches this call.
+!!! error TS2769:   The last overload gave the following error.
+!!! error TS2769:     Argument of type '{ style: "currency"; currency: undefined; }' is not assignable to parameter of type 'undefined'.
+!!! related TS2771 lib.es5.d.ts:--:--: The last overload is declared here.
+    
+    // Unit style requires a unit to be specified.
+    new Intl.NumberFormat('en-NZ', { style: 'unit', unit: 'kilogram' });
+    new Intl.NumberFormat('en-NZ', { style: 'unit' });
+                                   ~~~~~~~~~~~~~~~~~
+!!! error TS2769: No overload matches this call.
+!!! error TS2769:   The last overload gave the following error.
+!!! error TS2769:     Argument of type '{ style: "unit"; }' is not assignable to parameter of type '{ style: "unit"; } & { unit: string; }'.
+!!! error TS2769:       Property 'unit' is missing in type '{ style: "unit"; }' but required in type '{ unit: string; }'.
+!!! related TS2728 lib.es2020.intl.d.ts:--:--: 'unit' is declared here.
+!!! related TS2771 lib.es5.d.ts:--:--: The last overload is declared here.
+    new Intl.NumberFormat('en-NZ', { style: 'unit', unit: undefined });
+                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2769: No overload matches this call.
+!!! error TS2769:   The last overload gave the following error.
+!!! error TS2769:     Argument of type '{ style: "unit"; unit: undefined; }' is not assignable to parameter of type 'undefined'.
+!!! related TS2771 lib.es5.d.ts:--:--: The last overload is declared here.
+    
+    // Other styles do not require currency/unit.
+    new Intl.NumberFormat('en-NZ', { style: 'decimal' });
+    new Intl.NumberFormat('en-NZ', { style: 'percent' });
+    new Intl.NumberFormat('en-NZ');
+    new Intl.NumberFormat('en-NZ', {});
+    
+    // Widened option bags are not checked for the required relationship.
+    declare const currencyOptions: Intl.NumberFormatOptions;
+    new Intl.NumberFormat('en-NZ', currencyOptions);
+    
\ No newline at end of file
diff --git a/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.js b/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.js
new file mode 100644
index 0000000000000..1a6e6aeb657a2
--- /dev/null
+++ b/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.js
@@ -0,0 +1,40 @@
+//// [tests/cases/conformance/es2020/intlNumberFormatRequiredStyleOptions.ts] ////
+
+//// [intlNumberFormatRequiredStyleOptions.ts]
+// Currency style requires a currency to be specified.
+new Intl.NumberFormat('en-NZ', { style: 'currency', currency: 'NZD' });
+new Intl.NumberFormat('en-NZ', { style: 'currency' });
+new Intl.NumberFormat('en-NZ', { style: 'currency', currency: undefined });
+
+// Unit style requires a unit to be specified.
+new Intl.NumberFormat('en-NZ', { style: 'unit', unit: 'kilogram' });
+new Intl.NumberFormat('en-NZ', { style: 'unit' });
+new Intl.NumberFormat('en-NZ', { style: 'unit', unit: undefined });
+
+// Other styles do not require currency/unit.
+new Intl.NumberFormat('en-NZ', { style: 'decimal' });
+new Intl.NumberFormat('en-NZ', { style: 'percent' });
+new Intl.NumberFormat('en-NZ');
+new Intl.NumberFormat('en-NZ', {});
+
+// Widened option bags are not checked for the required relationship.
+declare const currencyOptions: Intl.NumberFormatOptions;
+new Intl.NumberFormat('en-NZ', currencyOptions);
+
+
+//// [intlNumberFormatRequiredStyleOptions.js]
+"use strict";
+// Currency style requires a currency to be specified.
+new Intl.NumberFormat('en-NZ', { style: 'currency', currency: 'NZD' });
+new Intl.NumberFormat('en-NZ', { style: 'currency' });
+new Intl.NumberFormat('en-NZ', { style: 'currency', currency: undefined });
+// Unit style requires a unit to be specified.
+new Intl.NumberFormat('en-NZ', { style: 'unit', unit: 'kilogram' });
+new Intl.NumberFormat('en-NZ', { style: 'unit' });
+new Intl.NumberFormat('en-NZ', { style: 'unit', unit: undefined });
+// Other styles do not require currency/unit.
+new Intl.NumberFormat('en-NZ', { style: 'decimal' });
+new Intl.NumberFormat('en-NZ', { style: 'percent' });
+new Intl.NumberFormat('en-NZ');
+new Intl.NumberFormat('en-NZ', {});
+new Intl.NumberFormat('en-NZ', currencyOptions);
diff --git a/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.symbols b/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.symbols
new file mode 100644
index 0000000000000..a01f9ebcd1469
--- /dev/null
+++ b/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.symbols
@@ -0,0 +1,82 @@
+//// [tests/cases/conformance/es2020/intlNumberFormatRequiredStyleOptions.ts] ////
+
+=== intlNumberFormatRequiredStyleOptions.ts ===
+// Currency style requires a currency to be specified.
+new Intl.NumberFormat('en-NZ', { style: 'currency', currency: 'NZD' });
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>style : Symbol(style, Decl(intlNumberFormatRequiredStyleOptions.ts, 1, 32))
+>currency : Symbol(currency, Decl(intlNumberFormatRequiredStyleOptions.ts, 1, 51))
+
+new Intl.NumberFormat('en-NZ', { style: 'currency' });
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>style : Symbol(style, Decl(intlNumberFormatRequiredStyleOptions.ts, 2, 32))
+
+new Intl.NumberFormat('en-NZ', { style: 'currency', currency: undefined });
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>style : Symbol(style, Decl(intlNumberFormatRequiredStyleOptions.ts, 3, 32))
+>currency : Symbol(currency, Decl(intlNumberFormatRequiredStyleOptions.ts, 3, 51))
+>undefined : Symbol(undefined)
+
+// Unit style requires a unit to be specified.
+new Intl.NumberFormat('en-NZ', { style: 'unit', unit: 'kilogram' });
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>style : Symbol(style, Decl(intlNumberFormatRequiredStyleOptions.ts, 6, 32))
+>unit : Symbol(unit, Decl(intlNumberFormatRequiredStyleOptions.ts, 6, 47))
+
+new Intl.NumberFormat('en-NZ', { style: 'unit' });
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>style : Symbol(style, Decl(intlNumberFormatRequiredStyleOptions.ts, 7, 32))
+
+new Intl.NumberFormat('en-NZ', { style: 'unit', unit: undefined });
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>style : Symbol(style, Decl(intlNumberFormatRequiredStyleOptions.ts, 8, 32))
+>unit : Symbol(unit, Decl(intlNumberFormatRequiredStyleOptions.ts, 8, 47))
+>undefined : Symbol(undefined)
+
+// Other styles do not require currency/unit.
+new Intl.NumberFormat('en-NZ', { style: 'decimal' });
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>style : Symbol(style, Decl(intlNumberFormatRequiredStyleOptions.ts, 11, 32))
+
+new Intl.NumberFormat('en-NZ', { style: 'percent' });
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>style : Symbol(style, Decl(intlNumberFormatRequiredStyleOptions.ts, 12, 32))
+
+new Intl.NumberFormat('en-NZ');
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+
+new Intl.NumberFormat('en-NZ', {});
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+
+// Widened option bags are not checked for the required relationship.
+declare const currencyOptions: Intl.NumberFormatOptions;
+>currencyOptions : Symbol(currencyOptions, Decl(intlNumberFormatRequiredStyleOptions.ts, 17, 13))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormatOptions : Symbol(Intl.NumberFormatOptions, Decl(lib.es5.d.ts, --, --), Decl(lib.es2020.intl.d.ts, --, --))
+
+new Intl.NumberFormat('en-NZ', currencyOptions);
+>Intl.NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>Intl : Symbol(Intl, Decl(lib.es5.d.ts, --, --), Decl(lib.es2016.intl.d.ts, --, --), Decl(lib.es2017.intl.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2019.intl.d.ts, --, --) ... and 2 more)
+>NumberFormat : Symbol(Intl.NumberFormat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2018.intl.d.ts, --, --), Decl(lib.es2020.bigint.d.ts, --, --))
+>currencyOptions : Symbol(currencyOptions, Decl(intlNumberFormatRequiredStyleOptions.ts, 17, 13))
+
diff --git a/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.types b/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.types
new file mode 100644
index 0000000000000..c9a984df01454
--- /dev/null
+++ b/tsc/testdata/baselines/reference/conformance/intlNumberFormatRequiredStyleOptions.types
@@ -0,0 +1,122 @@
+//// [tests/cases/conformance/es2020/intlNumberFormatRequiredStyleOptions.ts] ////
+
+=== intlNumberFormatRequiredStyleOptions.ts ===
+// Currency style requires a currency to be specified.
+new Intl.NumberFormat('en-NZ', { style: 'currency', currency: 'NZD' });
+>new Intl.NumberFormat('en-NZ', { style: 'currency', currency: 'NZD' }) : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+>{ style: 'currency', currency: 'NZD' } : { style: "currency"; currency: string; }
+>style : "currency"
+>'currency' : "currency"
+>currency : string
+>'NZD' : "NZD"
+
+new Intl.NumberFormat('en-NZ', { style: 'currency' });
+>new Intl.NumberFormat('en-NZ', { style: 'currency' }) : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+>{ style: 'currency' } : { style: "currency"; }
+>style : "currency"
+>'currency' : "currency"
+
+new Intl.NumberFormat('en-NZ', { style: 'currency', currency: undefined });
+>new Intl.NumberFormat('en-NZ', { style: 'currency', currency: undefined }) : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+>{ style: 'currency', currency: undefined } : { style: "currency"; currency: undefined; }
+>style : "currency"
+>'currency' : "currency"
+>currency : undefined
+>undefined : undefined
+
+// Unit style requires a unit to be specified.
+new Intl.NumberFormat('en-NZ', { style: 'unit', unit: 'kilogram' });
+>new Intl.NumberFormat('en-NZ', { style: 'unit', unit: 'kilogram' }) : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+>{ style: 'unit', unit: 'kilogram' } : { style: "unit"; unit: string; }
+>style : "unit"
+>'unit' : "unit"
+>unit : string
+>'kilogram' : "kilogram"
+
+new Intl.NumberFormat('en-NZ', { style: 'unit' });
+>new Intl.NumberFormat('en-NZ', { style: 'unit' }) : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+>{ style: 'unit' } : { style: "unit"; }
+>style : "unit"
+>'unit' : "unit"
+
+new Intl.NumberFormat('en-NZ', { style: 'unit', unit: undefined });
+>new Intl.NumberFormat('en-NZ', { style: 'unit', unit: undefined }) : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+>{ style: 'unit', unit: undefined } : { style: "unit"; unit: undefined; }
+>style : "unit"
+>'unit' : "unit"
+>unit : undefined
+>undefined : undefined
+
+// Other styles do not require currency/unit.
+new Intl.NumberFormat('en-NZ', { style: 'decimal' });
+>new Intl.NumberFormat('en-NZ', { style: 'decimal' }) : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+>{ style: 'decimal' } : { style: "decimal"; }
+>style : "decimal"
+>'decimal' : "decimal"
+
+new Intl.NumberFormat('en-NZ', { style: 'percent' });
+>new Intl.NumberFormat('en-NZ', { style: 'percent' }) : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+>{ style: 'percent' } : { style: "percent"; }
+>style : "percent"
+>'percent' : "percent"
+
+new Intl.NumberFormat('en-NZ');
+>new Intl.NumberFormat('en-NZ') : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+
+new Intl.NumberFormat('en-NZ', {});
+>new Intl.NumberFormat('en-NZ', {}) : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+>{} : {}
+
+// Widened option bags are not checked for the required relationship.
+declare const currencyOptions: Intl.NumberFormatOptions;
+>currencyOptions : Intl.NumberFormatOptions
+>Intl : any
+
+new Intl.NumberFormat('en-NZ', currencyOptions);
+>new Intl.NumberFormat('en-NZ', currencyOptions) : Intl.NumberFormat
+>Intl.NumberFormat : Intl.NumberFormatConstructor
+>Intl : typeof Intl
+>NumberFormat : Intl.NumberFormatConstructor
+>'en-NZ' : "en-NZ"
+>currencyOptions : Intl.NumberFormatOptions
+
diff --git a/tsc/testdata/tests/cases/conformance/es2020/intlNumberFormatRequiredStyleOptions.ts b/tsc/testdata/tests/cases/conformance/es2020/intlNumberFormatRequiredStyleOptions.ts
new file mode 100644
index 0000000000000..d4cbf51b767d0
--- /dev/null
+++ b/tsc/testdata/tests/cases/conformance/es2020/intlNumberFormatRequiredStyleOptions.ts
@@ -0,0 +1,22 @@
+// @target: es2020
+// @strict: true
+
+// Currency style requires a currency to be specified.
+new Intl.NumberFormat('en-NZ', { style: 'currency', currency: 'NZD' });
+new Intl.NumberFormat('en-NZ', { style: 'currency' });
+new Intl.NumberFormat('en-NZ', { style: 'currency', currency: undefined });
+
+// Unit style requires a unit to be specified.
+new Intl.NumberFormat('en-NZ', { style: 'unit', unit: 'kilogram' });
+new Intl.NumberFormat('en-NZ', { style: 'unit' });
+new Intl.NumberFormat('en-NZ', { style: 'unit', unit: undefined });
+
+// Other styles do not require currency/unit.
+new Intl.NumberFormat('en-NZ', { style: 'decimal' });
+new Intl.NumberFormat('en-NZ', { style: 'percent' });
+new Intl.NumberFormat('en-NZ');
+new Intl.NumberFormat('en-NZ', {});
+
+// Widened option bags are not checked for the required relationship.
+declare const currencyOptions: Intl.NumberFormatOptions;
+new Intl.NumberFormat('en-NZ', currencyOptions);