Fix

src/expresses.ts

@@ -13,16 +13,6 @@ class TraitExpression<
         readonly traits:      Traits,
     ) {}
 
-    get implements(): (
-        Pipe<Traits, [
-            Tuples.Map<TraitAbstractMembersFn>,
-            ExtendFn,
-            SimplifyFn,
-        ]>
-    ) {
-        throw new Error("Not meant to be called")
-    }
-
     get extends(): (
         AbstractClass<
             Pipe<[

src/tests.ts

@@ -1,4 +1,3 @@
-import { Identity, Pipe, Tuples } from "hotscript"
 import { Implements, TraitAbstractMembers, expression, trait } from "."
 
 
@@ -40,9 +39,6 @@ const ActiveStatefulSubscription = trait<ActiveStatefulSubscriptionAbstractMembe
 )
 
 
-// type Test2 = Simplify<MergeInheritanceTree<Test1>>
-
-
 class TestSuperclass {
     // id: number = 69
     // static test = 69
@@ -59,8 +55,8 @@ const builder = expression
 
 const exp = builder.get()
 
-class User extends exp.extends implements (typeof exp.implements) {
-    // id: bigint = -1n
+class User extends exp.extends implements Implements<typeof exp> {
+    id: bigint = -1n
 }
 
 console.log(new User())