From 9834856e8bea1d09f03688b74ab8241a78d5248c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Sun, 28 Jan 2024 23:43:39 +0100
Subject: [PATCH] Tests

---
 src/tests.ts | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/tests.ts b/src/tests.ts
index 9b096a8..0cc019f 100644
--- a/src/tests.ts
+++ b/src/tests.ts
@@ -1,4 +1,5 @@
-import { expresses, trait } from "."
+import { Simplify } from "type-fest"
+import { TraitAbstractMembers, TraitImpl, TraitInstance, expresses, trait } from "."
 
 
 const PrintsHelloOnNew = trait()(Super =>
@@ -21,6 +22,10 @@ const Identifiable = <ID>() => (
 )
 
 
+type Test = Simplify<TraitImpl<ReturnType<typeof Identifiable<bigint>>>>
+
 const exp = expresses(Identifiable<bigint>())
 
-class User implements typeof exp.implements()
+class User implements ReturnType<typeof exp.implements> {
+    id: bigint = -1n
+}