From d02125b156bf4512233beaa3f70bbca79089441f Mon Sep 17 00:00:00 2001
From: Michael Kauzmann <michael.kauzmann@colorado.edu>
Date: Mon, 9 Jan 2023 16:56:32 -0700
Subject: [PATCH] required options can't have defaults in optionize defaults,
 https://github.com/phetsims/chipper/issues/1360

---
 js/optionize.ts | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/js/optionize.ts b/js/optionize.ts
index 80e9046..075945d 100644
--- a/js/optionize.ts
+++ b/js/optionize.ts
@@ -27,6 +27,10 @@ type OptionalKeys<T> = {
 // Gets the parts of an object that are optional
 type Options<T> = Pick<T, OptionalKeys<T>>;
 
+export type RequiredKeys<T> = {
+  [K in keyof T]-?: object extends Pick<T, K> ? never : K;
+}[keyof T];
+
 type ObjectWithNoKeys = Record<string | number, never>;
 
 export type EmptySelfOptions = {
@@ -36,11 +40,14 @@ export type EmptySelfOptions = {
 type EmptySelfOptionsKeys = keyof EmptySelfOptions;
 
 // This is the type for the `defaults` argument to optionize
-type OptionizeDefaults<SelfOptions = EmptySelfOptions, ParentOptions = EmptySelfOptions> =
+type OptionizeDefaults<SelfOptions = EmptySelfOptions, ParentOptions = EmptySelfOptions, ProvidedOptions = EmptySelfOptions> =
 
 // Everything optional from SelfOptions must have a default specified
   Omit<Required<Options<SelfOptions>>, EmptySelfOptionsKeys> & // eslint-disable-line @typescript-eslint/ban-types
 
+  // Anything required in the ProvidedOptions should not show up in
+  { [k in RequiredKeys<ProvidedOptions>]?: never; } &
+
   // Any or none of Parent options can be provided
   Partial<ParentOptions>;
 
@@ -55,7 +62,7 @@ export default function optionize<ProvidedOptions,
   SelfOptions = ProvidedOptions,
   ParentOptions = Record<never, never>>():
   <KeysUsedInSubclassConstructor extends keyof ( ParentOptions )>(
-    defaults: OptionizeDefaults<SelfOptions, ParentOptions>,
+    defaults: OptionizeDefaults<SelfOptions, ParentOptions, ProvidedOptions>,
     providedOptions?: ProvidedOptions
   ) => OptionizeDefaults<SelfOptions, ParentOptions> & ProvidedOptions & Required<Pick<ParentOptions, KeysUsedInSubclassConstructor>> {
   return merge4;