feat(macro): make select macro choices strictly typed

Author: MikaelSiidorow

packages/core/macro/__typetests__/index.test-d.tsx

@@ -266,7 +266,9 @@ expectType<string>(
 //// Select
 ///////////////////
 
-const gender = "male"
+type Gender = "male" | "female" | "other"
+const gender = "male" as Gender // make the type less specific on purpose
+
 expectType<string>(
   select(gender, {
     // todo: here is inconsistency between jsx macro and js.
@@ -280,6 +282,21 @@ expectType<string>(
   })
 )
 
+expectType<string>(
+  // @ts-expect-error: missing required property
+  select(gender, {
+    male: "he",
+    other: "they",
+  })
+)
+
+expectType<string>(
+  select(gender, {
+    // @ts-expect-error extra properties are not allowed
+    incorrect: "",
+  })
+)
+
 expectType<string>(
   // @ts-expect-error value could be strings only
   select(5, {

packages/core/macro/index.d.ts

@@ -154,10 +154,11 @@ export function selectOrdinal(
   options: ChoiceOptions
 ): string
 
-type SelectOptions = {
+type SelectOptions<T extends string> = {
   /** Catch-all option */
   other: string
-  [matches: string]: string
+} & {
+  [key in T]: string
 }
 
 /**
@@ -180,9 +181,9 @@ type SelectOptions = {
  * @param value The key of choices to use
  * @param choices
  */
-export function select(
-  value: string | LabeledExpression<string>,
-  choices: SelectOptions
+export function select<T extends string>(
+  value: T | LabeledExpression<T>,
+  choices: SelectOptions<T>
 ): string
 
 /**