From 11776b79e789d9df39c0e4ca819c0f9ab0e9e7e1 Mon Sep 17 00:00:00 2001
From: eythaann <eythan.cvt@gmail.com>
Date: Mon, 4 Dec 2023 08:38:26 -0500
Subject: [PATCH] feature: Add isAssignableTo test alias

---
 lib/modules/generals/infrastructure.spec-types.ts | 8 ++++----
 lib/readable-test-types/index.d.ts                | 3 +++
 lib/readable-test-types/index.js                  | 1 +
 3 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/lib/modules/generals/infrastructure.spec-types.ts b/lib/modules/generals/infrastructure.spec-types.ts
index e436838..b69af52 100644
--- 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
index ea4c8c2..54e41c2 100644
--- 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
index f430e1a..2c08ffc 100644
--- 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() {},