@khanacademy/wonder-blocks-testing 8.0.8 → 8.0.9

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # @khanacademy/wonder-blocks-testing
 
+## 8.0.9
+
+### Patch Changes
+
+-   7e79069d: Get the types working properly
+
 ## 8.0.8
 
 ### Patch Changes

package/dist/fixtures/types.d.ts

@@ -14,11 +14,11 @@ export type GetPropsOptions = {
      */
     logHandler: (name: string) => (...args: Array<any>) => void;
 };
-export type FixtureProps<TProps extends Record<any, any>> = Readonly<TProps> | ((options: Readonly<GetPropsOptions>) => Readonly<TProps>);
+export type FixtureProps<TProps extends object> = Readonly<TProps> | ((options: Readonly<GetPropsOptions>) => Readonly<TProps>);
 /**
  * A function for defining a fixture.
  */
-export type FixtureFn<TProps extends Record<any, any>> = (
+export type FixtureFn<TProps extends object> = (
 /**
  * The name of the fixture.
  */

package/dist/fixtures/types.js.flow

@@ -22,13 +22,13 @@ export type GetPropsOptions = {|
    */
   logHandler: (name: string) => (...args: Array<any>) => void,
 |};
-export type FixtureProps<TProps: { [key: any]: any }> =
+export type FixtureProps<TProps: { ... }> =
   | $ReadOnly<TProps>
   | ((options: $ReadOnly<GetPropsOptions>) => $ReadOnly<TProps>);
 /**
  * A function for defining a fixture.
  */
-export type FixtureFn<TProps: { [key: any]: any }> = (
+export type FixtureFn<TProps: { ... }> = (
   description: string,
   props: FixtureProps<TProps>,
   wrapper?: React.ComponentType<TProps>

package/dist/harness/adapters/adapters.d.ts

@@ -21,11 +21,11 @@ export declare const DefaultAdapters: {
         getUserConfirmation?: ((message: string, callback: (ok: boolean) => void) => void) | undefined;
         path?: string | undefined;
     } | {
-        location: any;
+        location: import("history").LocationDescriptor<unknown>;
         forceStatic: true;
         path?: string | undefined;
     } | {
-        location: any;
+        location: import("history").LocationDescriptor<unknown>;
         path?: string | undefined;
     }>>;
 };

package/dist/harness/adapters/adapters.js.flow

@@ -1,13 +1,12 @@
 /**
- * Flowtype definitions for data
- * Generated by Flowgen from a Typescript Definition
- * Flowgen v1.21.0
  * @flow
  */
-import * as $Flowgen$Import$_2e__2e__2f_types from "../types";
-import * as $Flowgen$Import$aphrodite from "aphrodite";
-import * as $Flowgen$Import$history from "history";
-import type { TestHarnessConfigs } from "../types";
+import * as css from "./css";
+import * as data from "./data";
+import * as portal from "./portal";
+import * as router from "./router";
+
+import type { TestHarnessConfigs, TestHarnessConfig } from "../types";
 
 /**
  * NOTE: We do not type `DefaultAdapters` with `Adapters` here because we want
@@ -18,44 +17,10 @@ import type { TestHarnessConfigs } from "../types";
  * The default adapters provided by Wonder Blocks.
  */
 declare export var DefaultAdapters: {|
-  +css: $Flowgen$Import$_2e__2e__2f_types.TestHarnessAdapter<
-    | string
-    | string[]
-    | $Flowgen$Import$aphrodite.CSSProperties
-    | {|
-        classes: string[],
-        style: $Flowgen$Import$aphrodite.CSSProperties,
-      |}
-  >,
-  +data: $Flowgen$Import$_2e__2e__2f_types.TestHarnessAdapter<
-    | ((requestId: string) => Promise<any> | null | void)
-    | ((requestId: string) => Promise<any> | null | void)[]
-  >,
-  +portal: $Flowgen$Import$_2e__2e__2f_types.TestHarnessAdapter<string>,
-  +router: $Flowgen$Import$_2e__2e__2f_types.TestHarnessAdapter<
-    | string
-    | $ReadOnly<
-        | {|
-            initialEntries:
-              | $Flowgen$Import$history.LocationDescriptor<mixed>[]
-              | void,
-            initialIndex?: number | void,
-            getUserConfirmation?:
-              | ((message: string, callback: (ok: boolean) => void) => void)
-              | void,
-            path?: string | void,
-          |}
-        | {|
-            location: any,
-            forceStatic: true,
-            path?: string | void,
-          |}
-        | {|
-            location: any,
-            path?: string | void,
-          |}
-      >
-  >,
+  +css: typeof css.adapter,
+  +data: typeof data.adapter,
+  +portal: typeof portal.adapter,
+  +router: typeof router.adapter,
 |};
 /**
  * The default configurations to use with the `DefaultAdapters`.

package/dist/harness/adapters/router.d.ts

@@ -1,6 +1,6 @@
 import * as React from "react";
 import { MemoryRouter } from "react-router-dom";
-import type { LocationShape, Location } from "react-router-dom";
+import type { LocationDescriptor } from "history";
 import type { TestHarnessAdapter } from "../types";
 type MemoryRouterProps = JSX.LibraryManagedAttributes<typeof MemoryRouter, React.ComponentProps<typeof MemoryRouter>>;
 /**
@@ -36,7 +36,7 @@ type Config = Readonly<{
     /**
      * The location to use.
      */
-    location: string | Location;
+    location: LocationDescriptor;
     /**
      * Force the use of a StaticRouter, instead of MemoryRouter.
      */
@@ -58,7 +58,7 @@ type Config = Readonly<{
     /**
      * The initial location to use.
      */
-    location: string | LocationShape;
+    location: LocationDescriptor;
     /**
      * A path match to use.
      *

package/dist/harness/adapters/router.js.flow

@@ -6,7 +6,7 @@
  */
 import * as React from "react";
 import { MemoryRouter } from "react-router-dom";
-import type { LocationShape, Location } from "react-router-dom";
+import type { LocationDescriptor } from "history";
 import type { TestHarnessAdapter } from "../types";
 declare type MemoryRouterProps = React.ElementConfig<typeof MemoryRouter>;
 /**
@@ -51,7 +51,7 @@ declare type Config =
           /**
            * The location to use.
            */
-          location: string | Location,
+          location: LocationDescriptor,
 
           /**
            * Force the use of a StaticRouter, instead of MemoryRouter.
@@ -76,7 +76,7 @@ declare type Config =
           /**
            * The initial location to use.
            */
-          location: string | LocationShape,
+          location: LocationDescriptor,
 
           /**
            * A path match to use.

package/dist/harness/make-hook-harness.d.ts

@@ -14,4 +14,4 @@ import type { TestHarnessAdapters, TestHarnessConfigs } from "./types";
  *     configs?: $Shape<TestHarnessConfigs<TAdapters>>,
  * ) => React.AbstractComponent<any, any>} A test harness.
  */
-export declare const makeHookHarness: <TAdapters extends TestHarnessAdapters>(adapters: TAdapters, defaultConfigs: ObjMap<TAdapters, <TConfig>(arg1: import("./types").TestHarnessAdapter<TConfig>) => TConfig | null | undefined>) => (configs?: Partial<ObjMap<TAdapters, <TConfig>(arg1: import("./types").TestHarnessAdapter<TConfig>) => TConfig | null | undefined>> | undefined) => React.ForwardRefExoticComponent<any>;
+export declare const makeHookHarness: <TAdapters extends TestHarnessAdapters>(adapters: TAdapters, defaultConfigs: TestHarnessConfigs<TAdapters>) => (configs?: Partial<TestHarnessConfigs<TAdapters>> | undefined) => React.ForwardRefExoticComponent<any>;

package/dist/harness/make-hook-harness.js.flow

@@ -4,7 +4,6 @@
  * Flowgen v1.21.0
  * @flow
  */
-import * as $Flowgen$Import$_2e__2f_types from "./types";
 import * as React from "react";
 import type { TestHarnessAdapters, TestHarnessConfigs } from "./types";
 
@@ -22,20 +21,7 @@ configs?: $Shape<TestHarnessConfigs<TAdapters>>) => React.AbstractComponent<any,
  */
 declare export var makeHookHarness: <TAdapters: TestHarnessAdapters>(
   adapters: TAdapters,
-  defaultConfigs: ObjMap<
-    TAdapters,
-    <TConfig>(
-      arg1: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<TConfig>
-    ) => TConfig | null | void
-  >
+  defaultConfigs: TestHarnessConfigs<TAdapters>
 ) => (
-  configs?: $Rest<
-    ObjMap<
-      TAdapters,
-      <TConfig>(
-        arg1: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<TConfig>
-      ) => TConfig | null | void
-    >,
-    {}
-  > | void
+  configs?: $Rest<TestHarnessConfigs<TAdapters>, {}> | void
 ) => React.ForwardRefExoticComponent<any>;

package/dist/harness/make-test-harness.d.ts

@@ -15,4 +15,4 @@ import type { TestHarnessAdapters, TestHarnessConfigs } from "./types";
  *     configs?: $Shape<Configs<TAdapters>>,
  * ) => React.AbstractComponent<TProps, Instance>} A test harness.
  */
-export declare const makeTestHarness: <TAdapters extends TestHarnessAdapters>(adapters: TAdapters, defaultConfigs: ObjMap<TAdapters, <TConfig>(arg1: import("./types").TestHarnessAdapter<TConfig>) => TConfig | null | undefined>) => <TProps extends object>(Component: React.ComponentType<TProps>, configs?: Partial<ObjMap<TAdapters, <TConfig>(arg1: import("./types").TestHarnessAdapter<TConfig>) => TConfig | null | undefined>> | undefined) => React.ForwardRefExoticComponent<React.PropsWithoutRef<TProps> & React.RefAttributes<unknown>>;
+export declare const makeTestHarness: <TAdapters extends TestHarnessAdapters>(adapters: TAdapters, defaultConfigs: TestHarnessConfigs<TAdapters>) => <TProps extends object>(Component: React.ComponentType<TProps>, configs?: Partial<TestHarnessConfigs<TAdapters>> | undefined) => React.ForwardRefExoticComponent<React.PropsWithoutRef<TProps> & React.RefAttributes<unknown>>;

package/dist/harness/make-test-harness.js.flow

@@ -4,7 +4,6 @@
  * Flowgen v1.21.0
  * @flow
  */
-import * as $Flowgen$Import$_2e__2f_types from "./types";
 import * as React from "react";
 import type { TestHarnessAdapters, TestHarnessConfigs } from "./types";
 
@@ -24,23 +23,10 @@ import type { TestHarnessAdapters, TestHarnessConfigs } from "./types";
  */
 declare export var makeTestHarness: <TAdapters: TestHarnessAdapters>(
   adapters: TAdapters,
-  defaultConfigs: ObjMap<
-    TAdapters,
-    <TConfig>(
-      arg1: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<TConfig>
-    ) => TConfig | null | void
-  >
-) => <TProps: { [key: string]: any }>(
+  defaultConfigs: TestHarnessConfigs<TAdapters>
+) => <TProps: { ... }>(
   Component: React.ComponentType<TProps>,
-  configs?: $Rest<
-    ObjMap<
-      TAdapters,
-      <TConfig>(
-        arg1: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<TConfig>
-      ) => TConfig | null | void
-    >,
-    {}
-  > | void
+  configs?: $Rest<TestHarnessConfigs<TAdapters>, {}> | void
 ) => React.ForwardRefExoticComponent<{|
   ...React.PropsWithoutRef<TProps>,
   ...React.RefAttributes<mixed>,

package/dist/harness/render-adapters.d.ts

@@ -3,4 +3,4 @@ import type { TestHarnessConfigs, TestHarnessAdapters } from "./types";
 /**
  * Render test adapters around a child component.
  */
-export declare const renderAdapters: <TAdapters extends TestHarnessAdapters>(adapters: TAdapters, configs: ObjMap<TAdapters, <TConfig>(arg1: import("./types").TestHarnessAdapter<TConfig>) => TConfig | null | undefined>, children: React.ReactNode) => React.ReactElement;
+export declare const renderAdapters: <TAdapters extends TestHarnessAdapters>(adapters: TAdapters, configs: TestHarnessConfigs<TAdapters>, children: React.ReactNode) => React.ReactElement;

package/dist/harness/render-adapters.js.flow

@@ -4,7 +4,6 @@
  * Flowgen v1.21.0
  * @flow
  */
-import * as $Flowgen$Import$_2e__2f_types from "./types";
 import * as React from "react";
 import type { TestHarnessConfigs, TestHarnessAdapters } from "./types";
 
@@ -13,11 +12,6 @@ import type { TestHarnessConfigs, TestHarnessAdapters } from "./types";
  */
 declare export var renderAdapters: <TAdapters: TestHarnessAdapters>(
   adapters: TAdapters,
-  configs: ObjMap<
-    TAdapters,
-    <TConfig>(
-      arg1: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<TConfig>
-    ) => TConfig | null | void
-  >,
+  configs: TestHarnessConfigs<TAdapters>,
   children: React.Node
 ) => React.Element<any>;

package/dist/harness/test-harness.d.ts

@@ -9,7 +9,7 @@
  * configurations, use `makeTestHarness` to create a new `testHarness`
  * function.
  */
-export declare const testHarness: <TProps extends object>(Component: import("react").ComponentType<TProps>, configs?: Partial<ObjMap<{
+export declare const testHarness: <TProps extends object>(Component: import("react").ComponentType<TProps>, configs?: Partial<import("./types").TestHarnessConfigs<{
     readonly css: import("./types").TestHarnessAdapter<string | string[] | import("aphrodite").CSSProperties | {
         classes: string[];
         style: import("aphrodite").CSSProperties;
@@ -22,11 +22,11 @@ export declare const testHarness: <TProps extends object>(Component: import("rea
         getUserConfirmation?: ((message: string, callback: (ok: boolean) => void) => void) | undefined;
         path?: string | undefined;
     } | {
-        location: any;
+        location: import("history").LocationDescriptor<unknown>;
         forceStatic: true;
         path?: string | undefined;
     } | {
-        location: any;
+        location: import("history").LocationDescriptor<unknown>;
         path?: string | undefined;
     }>>;
-}, <TConfig>(arg1: import("./types").TestHarnessAdapter<TConfig>) => TConfig | null | undefined>> | undefined) => import("react").ForwardRefExoticComponent<import("react").PropsWithoutRef<TProps> & import("react").RefAttributes<unknown>>;
+}>> | undefined) => import("react").ForwardRefExoticComponent<import("react").PropsWithoutRef<TProps> & import("react").RefAttributes<unknown>>;

package/dist/harness/test-harness.js.flow

@@ -18,57 +18,49 @@ import * as $Flowgen$Import$history from "history";
  * configurations, use `makeTestHarness` to create a new `testHarness`
  * function.
  */
-declare export var testHarness: <TProps: { [key: string]: any }>(
+declare export var testHarness: <TProps: { ... }>(
   Component: $Flowgen$Import$react.ComponentType<TProps>,
   configs?: $Rest<
-    ObjMap<
-      {|
-        +css: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<
-          | string
-          | string[]
-          | $Flowgen$Import$aphrodite.CSSProperties
-          | {|
-              classes: string[],
-              style: $Flowgen$Import$aphrodite.CSSProperties,
-            |}
-        >,
-        +data: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<
-          | ((requestId: string) => Promise<any> | null | void)
-          | ((requestId: string) => Promise<any> | null | void)[]
-        >,
-        +portal: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<string>,
-        +router: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<
-          | string
-          | $ReadOnly<
-              | {|
-                  initialEntries:
-                    | $Flowgen$Import$history.LocationDescriptor<mixed>[]
-                    | void,
-                  initialIndex?: number | void,
-                  getUserConfirmation?:
-                    | ((
-                        message: string,
-                        callback: (ok: boolean) => void
-                      ) => void)
-                    | void,
-                  path?: string | void,
-                |}
-              | {|
-                  location: any,
-                  forceStatic: true,
-                  path?: string | void,
-                |}
-              | {|
-                  location: any,
-                  path?: string | void,
-                |}
-            >
-        >,
-      |},
-      <TConfig>(
-        arg1: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<TConfig>
-      ) => TConfig | null | void
-    >,
+    $Flowgen$Import$_2e__2f_types.TestHarnessConfigs<{|
+      +css: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<
+        | string
+        | string[]
+        | $Flowgen$Import$aphrodite.CSSProperties
+        | {|
+            classes: string[],
+            style: $Flowgen$Import$aphrodite.CSSProperties,
+          |}
+      >,
+      +data: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<
+        | ((requestId: string) => Promise<any> | null | void)
+        | ((requestId: string) => Promise<any> | null | void)[]
+      >,
+      +portal: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<string>,
+      +router: $Flowgen$Import$_2e__2f_types.TestHarnessAdapter<
+        | string
+        | $ReadOnly<
+            | {|
+                initialEntries:
+                  | $Flowgen$Import$history.LocationDescriptor<mixed>[]
+                  | void,
+                initialIndex?: number | void,
+                getUserConfirmation?:
+                  | ((message: string, callback: (ok: boolean) => void) => void)
+                  | void,
+                path?: string | void,
+              |}
+            | {|
+                location: $Flowgen$Import$history.LocationDescriptor<mixed>,
+                forceStatic: true,
+                path?: string | void,
+              |}
+            | {|
+                location: $Flowgen$Import$history.LocationDescriptor<mixed>,
+                path?: string | void,
+              |}
+          >
+      >,
+    |}>,
     {}
   > | void
 ) => $Flowgen$Import$react.ForwardRefExoticComponent<{|

package/dist/harness/types.d.ts

@@ -1,6 +1,6 @@
 import * as React from "react";
 /**
- * A adapter to be composed with our test harnass infrastructure.
+ * A adapter to be composed with our test harness infrastructure.
  */
 export type TestHarnessAdapter<TConfig> = (children: React.ReactNode, config: TConfig) => React.ReactElement<any>;
 /**
@@ -16,19 +16,12 @@ export type TestHarnessAdapter<TConfig> = (children: React.ReactNode, config: TC
  * the adapters.
  */
 export type TestHarnessAdapters = {
-    [adapterID: string]: TestHarnessAdapter<any>;
+    readonly [adapterID: string]: TestHarnessAdapter<any>;
 };
-/**
- * Mapping functions from a adapter-like function to config type.
- */
-type ExtractConfig = <TConfig>(arg1: TestHarnessAdapter<TConfig>) => TConfig;
-type ExtractMaybeConfig = <TConfig>(arg1: TestHarnessAdapter<TConfig>) => TConfig | null | undefined;
 /**
  * Type for easily defining an adapter's config type.
- *
- * This is the `TestHarnessAdapter` equivalent of `React.ElementConfig`.
  */
-export type TestHarnessConfig<TAdapter> = ReturnType<ExtractConfig>;
+export type TestHarnessConfig<TAdapter> = TAdapter extends TestHarnessAdapter<infer TConfig> ? TConfig : never;
 /**
  * The `TestHarnessConfigs` type as defined by parsing a given set of adapters.
  *
@@ -36,11 +29,8 @@ export type TestHarnessConfig<TAdapter> = ReturnType<ExtractConfig>;
  * are explicitly typed as `TestHarnessAdapter<TConfig>` so if passing in a
  * non-Adapters type (which we should be, to get strong `TConfig` types instead
  * of `any`), then that object should make sure that each adapter is strongly
- * marked as `TestHarnessAdapter<TConfig>` - TypeScript does not appear to pattern
- * match against the type definition when invoking the `ExtractConfig` type and I
- * haven't worked out how to get it to multi-dispatch so that it matches
- * functions too. Even worse, if the type doesn't match, it just allows `any`
- * in the `Configs` object, rather than indicating any kind of problem.
+ * marked as `TestHarnessAdapter<TConfig>`
  */
-export type TestHarnessConfigs<TAdapters extends TestHarnessAdapters> = ObjMap<TAdapters, ExtractMaybeConfig>;
-export {};
+export type TestHarnessConfigs<TAdapters extends TestHarnessAdapters> = {
+    [K in keyof TAdapters]: TestHarnessConfig<TAdapters[K]> | null | undefined;
+};

package/dist/harness/types.js.flow

@@ -1,18 +1,14 @@
-/**
- * Flowtype definitions for data
- * Generated by Flowgen from a Typescript Definition
- * Flowgen v1.21.0
- * @flow
- */
+// @flow
 import * as React from "react";
 
 /**
  * A adapter to be composed with our test harnass infrastructure.
  */
 export type TestHarnessAdapter<TConfig> = (
-  children: React.Node,
-  config: TConfig
+    children: React.Node,
+    config: TConfig,
 ) => React.Element<any>;
+
 /**
  * A general map of adapters by their identifiers.
  *
@@ -25,27 +21,23 @@ export type TestHarnessAdapter<TConfig> = (
  * should infer their type in most cases to ensure the strongest typing of
  * the adapters.
  */
-export type TestHarnessAdapters = {
-  [adapterID: string]: TestHarnessAdapter<any>,
-};
+export type TestHarnessAdapters = {|
+    +[adapterID: string]: TestHarnessAdapter<any>,
+|};
+
 /**
  * Mapping functions from a adapter-like function to config type.
  */
-declare type ExtractConfig = <TConfig>(
-  arg1: TestHarnessAdapter<TConfig>
-) => TConfig;
-declare type ExtractMaybeConfig = <TConfig>(
-  arg1: TestHarnessAdapter<TConfig>
-) => TConfig | null | void;
+type ExtractConfig = <TConfig>(TestHarnessAdapter<TConfig>) => TConfig;
+type ExtractMaybeConfig = <TConfig>(TestHarnessAdapter<TConfig>) => ?TConfig;
+
 /**
  * Type for easily defining an adapter's config type.
  *
  * This is the `TestHarnessAdapter` equivalent of `React.ElementConfig`.
  */
-export type TestHarnessConfig<TAdapter> = $Call<
-  <R>((...args: any[]) => R) => R,
-  ExtractConfig
->;
+export type TestHarnessConfig<TAdapter> = $Call<ExtractConfig, TAdapter>;
+
 /**
  * The `TestHarnessConfigs` type as defined by parsing a given set of adapters.
  *
@@ -53,13 +45,13 @@ export type TestHarnessConfig<TAdapter> = $Call<
  * are explicitly typed as `TestHarnessAdapter<TConfig>` so if passing in a
  * non-Adapters type (which we should be, to get strong `TConfig` types instead
  * of `any`), then that object should make sure that each adapter is strongly
- * marked as `TestHarnessAdapter<TConfig>` - TypeScript does not appear to pattern
+ * marked as `TestHarnessAdapter<TConfig>` - flow does not appear to pattern
  * match against the type definition when invoking the `ExtractConfig` type and I
  * haven't worked out how to get it to multi-dispatch so that it matches
  * functions too. Even worse, if the type doesn't match, it just allows `any`
  * in the `Configs` object, rather than indicating any kind of problem.
  */
-export type TestHarnessConfigs<TAdapters: TestHarnessAdapters> = ObjMap<
-  TAdapters,
-  ExtractMaybeConfig
+export type TestHarnessConfigs<TAdapters: TestHarnessAdapters> = $ObjMap<
+    TAdapters,
+    ExtractMaybeConfig,
 >;

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@khanacademy/wonder-blocks-testing",
-    "version": "8.0.8",
+    "version": "8.0.9",
     "design": "v1",
     "publishConfig": {
         "access": "public"

package/src/fixtures/types.ts

@@ -16,14 +16,14 @@ export type GetPropsOptions = {
     logHandler: (name: string) => (...args: Array<any>) => void;
 };
 
-export type FixtureProps<TProps extends Record<any, any>> =
+export type FixtureProps<TProps extends object> =
     | Readonly<TProps>
     | ((options: Readonly<GetPropsOptions>) => Readonly<TProps>);
 
 /**
  * A function for defining a fixture.
  */
-export type FixtureFn<TProps extends Record<any, any>> = (
+export type FixtureFn<TProps extends object> = (
     /**
      * The name of the fixture.
      */

package/src/harness/__tests__/{types.flowtest.tsx → types.typestest.tsx}

@@ -59,6 +59,7 @@ import type {
 
 //> should error if the config type is wrong
 // 45 is not a string
+// @ts-expect-error: Type '45' is not assignable to type 'string'.
 45 as TestHarnessConfig<TestHarnessAdapter<string>>;
 //<
 
@@ -69,11 +70,7 @@ import type {
  * are explicitly typed as `TestHarnessAdapter<TConfig>` so if passing in a
  * non-Adapters type (which we should be, to get strong TConfig types instead
  * of `any`), then that object should make sure that each adapter is strongly
- * marked as `TestHarnessAdapter<TConfig>` - TypeScript does not appear to pattern
- * match against the type definition when invoking the ExtractConfig type and I
- * haven't worked out how to get it to multi-dispatch so that it matches
- * functions too. Even worse, if the type doesn't match, it just allows `any`
- * in the configs object, rather than indicating any kind of problem.
+ * marked as `TestHarnessAdapter<TConfig>`.
  */
 const notadapters = "this is wrong";
 const adapterA: TestHarnessAdapter<string> = (
@@ -103,6 +100,7 @@ const adapters = {
 //<
 
 //>  should assert if config does not match adapter config
+// @ts-expect-error: Conversion of type '{ adapterA: string; adapterB: string; }' to type 'TestHarnessConfigs<{ readonly adapterA: TestHarnessAdapter<string>; readonly adapterB: TestHarnessAdapter<number>; }>' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first. Types of property 'adapterB' are incompatible. Type 'string' is not comparable to type 'number'.
 ({
     adapterA: "a string, this is correct",
     // the config type here is a number, not a string

package/src/harness/adapters/adapters.js.flow

@@ -0,0 +1,28 @@
+/**
+ * @flow
+ */
+import * as css from "./css";
+import * as data from "./data";
+import * as portal from "./portal";
+import * as router from "./router";
+
+import type { TestHarnessConfigs, TestHarnessConfig } from "../types";
+
+/**
+ * NOTE: We do not type `DefaultAdapters` with `Adapters` here because we want
+ * the individual config types of each adapter to remain intact rather than
+ * getting changed to `any`.
+ */
+/**
+ * The default adapters provided by Wonder Blocks.
+ */
+declare export var DefaultAdapters: {|
+  +css: typeof css.adapter,
+  +data: typeof data.adapter,
+  +portal: typeof portal.adapter,
+  +router: typeof router.adapter,
+|};
+/**
+ * The default configurations to use with the `DefaultAdapters`.
+ */
+declare export var DefaultConfigs: TestHarnessConfigs<typeof DefaultAdapters>;

package/src/harness/adapters/adapters.ts

@@ -1,3 +1,6 @@
+// WARNING: If you modify this file you may need to update adapters.js.flow
+// to ensure that the Flow types are still correct.
+
 import * as css from "./css";
 import * as data from "./data";
 import * as portal from "./portal";
@@ -29,4 +32,4 @@ export const DefaultConfigs: TestHarnessConfigs<typeof DefaultAdapters> = {
     data: data.defaultConfig,
     portal: portal.defaultConfig,
     router: router.defaultConfig,
-};
+} as const;