diff --git a/compat/fixture.ts b/compat/fixture.ts
index 6fd9d61..8a75121 100644
--- a/compat/fixture.ts
+++ b/compat/fixture.ts
@@ -6,12 +6,12 @@
 //
 // Why the `expectTypeOf` assertions: a compile that merely succeeds is a weak
 // oracle. An `any`-typed declaration would compile, but `expect-type`'s exact
-// equality and `.not.toBeAny()` reject `any`, so the assertions prove the
-// emitted types are real. Every handler *parameter* is asserted too, not just
-// the matcher: the handler's member type comes from the `Member` inversion in
-// the declarations, and a wrong or `any` parameter would otherwise slip
-// through, since the matcher's own `(shape: T) => R` type is built from `T` and
-// the handler returns. See development/ci.md § TypeScript compatibility.
+// equality rejects `any`, so the assertions prove the emitted types are real.
+// Every handler *parameter* is asserted too, not just the matcher: the handler's
+// member type comes from the `Member` inversion in the declarations, and a wrong
+// or `any` parameter would otherwise slip through, since the matcher's own
+// `(shape: T) => R` type is built from `T` and the handler returns. See
+// development/ci.md § TypeScript compatibility.
 
 import { expectTypeOf } from "expect-type";
 import {
@@ -25,37 +25,31 @@ type ResultCode = "ok" | "created";
 
 const toStatus = getPrimitiveUnionMatcher<ResultCode>()({
     ok: (s) => {
-        expectTypeOf(s).not.toBeAny();
         expectTypeOf(s).toEqualTypeOf<"ok">();
         return "OK";
     },
     created: (s) => {
-        expectTypeOf(s).not.toBeAny();
         expectTypeOf(s).toEqualTypeOf<"created">();
         return "CREATED";
     },
 });
 
-expectTypeOf(toStatus).not.toBeAny();
 expectTypeOf(toStatus).toEqualTypeOf<(shape: ResultCode) => string>();
 
 // The widening twin keeps each handler's own return type in the union.
 const toStatusW = getPrimitiveUnionMatcherW<ResultCode>()(
     {
         ok: (s) => {
-            expectTypeOf(s).not.toBeAny();
             expectTypeOf(s).toEqualTypeOf<"ok">();
             return "OK" as const;
         },
     },
     (rest) => {
-        expectTypeOf(rest).not.toBeAny();
         expectTypeOf(rest).toEqualTypeOf<"created">();
         return "CREATED" as const;
     },
 );
 
-expectTypeOf(toStatusW).not.toBeAny();
 expectTypeOf(toStatusW).toEqualTypeOf<
     (shape: ResultCode) => "OK" | "CREATED"
 >();
@@ -66,36 +60,30 @@ type Contact =
 
 const format = getTaggedUnionMatcher<Contact>()("kind")({
     email: (e) => {
-        expectTypeOf(e).not.toBeAny();
         expectTypeOf(e).toEqualTypeOf<{ kind: "email"; address: string }>();
         return e.address;
     },
     phone: (p) => {
-        expectTypeOf(p).not.toBeAny();
         expectTypeOf(p).toEqualTypeOf<{ kind: "phone"; number: string }>();
         return p.number;
     },
 });
 
-expectTypeOf(format).not.toBeAny();
 expectTypeOf(format).toEqualTypeOf<(shape: Contact) => string>();
 
 const formatW = getTaggedUnionMatcherW<Contact>()("kind")(
     {
         email: (e) => {
-            expectTypeOf(e).not.toBeAny();
             expectTypeOf(e).toEqualTypeOf<{ kind: "email"; address: string }>();
             return e.address;
         },
     },
     (rest) => {
-        expectTypeOf(rest).not.toBeAny();
         expectTypeOf(rest).toEqualTypeOf<{ kind: "phone"; number: string }>();
         return rest.number;
     },
 );
 
-expectTypeOf(formatW).not.toBeAny();
 expectTypeOf(formatW).toEqualTypeOf<(shape: Contact) => string>();
 
 export { format, formatW, toStatus, toStatusW };
diff --git a/development/ci.md b/development/ci.md
index 5411b79..84f3c77 100644
--- a/development/ci.md
+++ b/development/ci.md
@@ -164,9 +164,9 @@ source of truth) and documented in [README § Requirements](../README.md#require
 - **The fixture is a consumer, not a unit test.** `compat/fixture.ts` imports
   the package by name (`tiny-pattern-ts`), so it resolves through the `exports`
   map to `dist/index.d.ts` and exercises the emitted declarations' relative
-  `.ts` specifiers — not the source. `expectTypeOf` / `.not.toBeAny()` are
-  load-bearing: a bare compile would also pass if a declaration collapsed to
-  `any`; the exact-equality assertions reject that.
+  `.ts` specifiers — not the source. `expectTypeOf`'s exact-equality assertions
+  are load-bearing: a bare compile would also pass if a declaration collapsed to
+  `any`; they reject that.
 
 #### Rejected