🔥 Drop redundant not.toBeAny assertions in the fixture
The exact-equality `toEqualTypeOf` assertions already reject `any`, so the `.not.toBeAny()` guards were redundant. Refresh the fixture header and development/ci.md to match.
This commit is contained in:
1 parent
ebe58a9167
commit
24cc007ab0
2 files changed
+9
-21
No files matched your search
+6
-18
@@ -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 };
|
||||
Reference in new issue
Block a user