feat(validator): simplify literal number match expression by `OnlySub…

…Type`
typp-js · Feb 27, 2024 · 8772432 · 8772432
1 parent ad53ea4
commit 8772432
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/packages/validator/src/types/primitive.number.ts b/packages/validator/src/types/primitive.number.ts
@@ -1,4 +1,4 @@
-import type { IsEqual, IsWhat, Not, t as tn } from '@typp/core'
+import type { IsEqual, IsWhat, OnlySubType, t as tn } from '@typp/core'
 
 import { FALSY } from '../base'
 import type { SwitchBaseType } from '../base.inner'
@@ -11,10 +11,7 @@ declare module '@typp/core' {
         IsWhat<T, number>, number | Number
       ]
       'literal:number': [
-        Not<IsWhat<T, number>> extends true
-          ? T extends number ? true : false
-          : false,
-        T & number
+        OnlySubType<T, number>, T & number
       ]
     }
     export interface ValidateTransformEntries<T, Input, InputRest> {