A compromise solution to make ComponentProps work with typeof Link.

packages/wouter/test/link.test-d.tsx

@@ -191,10 +191,13 @@ describe("<Link /> with `asChild` prop", () => {
     </Link>;
   });
 
-  it.skip("should work with `ComponentProps`", () => {
+  it("should work with `ComponentProps`", () => {
     type LinkComponentProps = React.ComponentProps<typeof Link>;
 
-    // @ts-expect-error FIXME
-    expectTypeOf<LinkComponentProps>().toEqualTypeOf<LinkProps>();
+    // Because Link is a generic component, the props
+    // cant't contain navigation options of the default generic
+    // parameter `BrowserLocationHook`.
+    // So the best we can get are the props such as `href` etc.
+    expectTypeOf<LinkComponentProps>().toMatchTypeOf<LinkProps>();
   });
 });

packages/wouter/test/location-hook.test-d.ts

@@ -1,9 +1,5 @@
 import { it, expectTypeOf, describe } from "vitest";
-import {
-  BaseLocationHook,
-  HookNavigationOptions,
-  HookReturnValue,
-} from "wouter";
+import { BaseLocationHook, HookNavigationOptions } from "wouter";
 
 describe("`HookNavigationOptions` utility type", () => {
   it("should return empty interface for hooks with no nav options", () => {
@@ -63,10 +59,8 @@ describe("`HookNavigationOptions` utility type", () => {
     type C = HookNavigationOptions<() => []>;
   });
 
-  it("should return arbitrary object when `BaseLocationHook` is given", () => {
+  it("should return empty object when `BaseLocationHook` is given", () => {
     type Options = HookNavigationOptions<BaseLocationHook>;
-
-    const opts: Options = { a: 1, b: 2 };
-    opts.anything = 1;
+    expectTypeOf<Options>().toEqualTypeOf<{}>();
   });
 });

packages/wouter/types/location-hook.d.ts

@@ -21,16 +21,15 @@ export type BaseSearchHook = (...args: any[]) => SearchString;
 // Returns the type of the location tuple of the given hook.
 export type HookReturnValue<H extends BaseLocationHook> = ReturnType<H>;
 
-// Utility type that allows us to distinguish between hooks that
-// don't receive any options and `BaseLocationHook` that can accept anything
-type ArbitraryObjectWhenNever<T> = 0 extends 1 & T
-  ? { [key: string]: any }
+// Utility type that allows us to handle cases like `any` and `never`
+type EmptyInterfaceWhenAnyOrNever<T> = 0 extends 1 & T
+  ? {}
   : [T] extends [never]
   ? {}
   : T;
 
 // Returns the type of the navigation options that hook's push function accepts.
 export type HookNavigationOptions<H extends BaseLocationHook> =
-  ArbitraryObjectWhenNever<
+  EmptyInterfaceWhenAnyOrNever<
     NonNullable<Parameters<HookReturnValue<H>[1]>[1]> // get's the second argument of a tuple returned by the hook
   >;