feature: Add isAssignableTo test alias

eythaann · Dec 4, 2023 · 11776b7 · 11776b7
1 parent f5ef8d9
commit 11776b7
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/lib/modules/generals/infrastructure.spec-types.ts b/lib/modules/generals/infrastructure.spec-types.ts
@@ -52,12 +52,12 @@ describeType('Opaque', () => {
 
   testType('Should not be asignable to its baseType', () => {
     type UserID = Opaque<number, 'UserID'>;
-    assertType<UserID>().not.isSubTypeOf<number>();
+    assertType<UserID>().not.isAssignableTo<number>();
   });
 
   testType('Should its baseType not asignable to Opaque', () => {
     type UserID = Opaque<number, 'UserID'>;
-    assertType<UserID>().not.isSuperTypeOf<number>();
+    assertType<number>().not.isAssignableTo<UserID>();
   });
 
   testType('Should differentiate between different opaque types', () => {
@@ -81,12 +81,12 @@ describeType('WeakOpaque', () => {
 
   testType('Should be asignable to its baseType', () => {
     type UserID = WeakOpaque<number, 'UserID'>;
-    assertType<UserID>().isSubTypeOf<number>();
+    assertType<UserID>().isAssignableTo<number>();
   });
 
   testType('Should its baseType not asignable to Opaque', () => {
     type UserID = WeakOpaque<number, 'UserID'>;
-    assertType<UserID>().not.isSuperTypeOf<number>();
+    assertType<number>().not.isAssignableTo<UserID>();
   });
 
   testType('Should differentiate between different opaque types', () => {

diff --git a/lib/readable-test-types/index.d.ts b/lib/readable-test-types/index.d.ts
@@ -59,6 +59,9 @@ interface IValidationsPublic<T, I extends boolean = false> {
   /** expected type should be extended of asserting type*/
   isSuperTypeOf: <U>() => NotIf<I, isSupertype<T, U>> extends true ? RTT_PASS : RTT_FAIL<FailMsgs<I>['supertype']>;
 
+  /** expected type should be extended of asserting type*/
+  isAssignableTo: <U>() => NotIf<I, isSubtype<T, U>> extends true ? RTT_PASS : RTT_FAIL<FailMsgs<I>['subtype']>;
+
   /** asserting type should be extended of expected type */
   isSubTypeOf: <U>() => NotIf<I, isSubtype<T, U>> extends true ? RTT_PASS : RTT_FAIL<FailMsgs<I>['subtype']>;
 

diff --git a/lib/readable-test-types/index.js b/lib/readable-test-types/index.js
@@ -4,6 +4,7 @@ globalThis.assertType = () => ({
   returned: globalThis.assertType,
   equals() {},
   isSuperTypeOf() {},
+  isAssignableTo() {},
   isSubTypeOf() {},
   toBeTrue() {},
   toBeFalse() {},