src/TraitExpressionBuilder.ts

@@ -84,7 +84,15 @@ class TraitExpressionBuilder<
     }
 
     expresses<
-        const T extends Trait<any, any, any, any>[]
+        const T extends Trait<
+            TraitExpression<
+                typeof TraitExpression.NullSuperclass,
+                Trait<any, any, any, any>[]
+            >,
+            any,
+            any,
+            any
+        >[]
     >(
         ...traits: T
     ): TraitExpressionBuilder<
@@ -97,7 +105,7 @@ class TraitExpressionBuilder<
             uniq([
                 ...this.expressionTraits,
                 ...traits.flatMap(trait => [
-                    ...trait.superExpression.allTraits,
+                    ...trait.superExpression.traits,
                     trait,
                 ]),
             ]) as [...Traits, ...SpreadSupertraits<T>],