From 1ac7ec5245765f38f25c1401a278d40b330ad69a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <me@julienvalver.de>
Date: Sun, 25 Feb 2024 03:25:55 +0100
Subject: [PATCH] 0.1.12 (#12)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Julien Valverdé <julien.valverde@mailo.com>
Reviewed-on: https://git.jvalver.de/Thilawyn/traitify-ts/pulls/12
---
 package.json                  |  2 +-
 src/Trait.ts                  | 14 +++++++-------
 src/TraitExpressionBuilder.ts | 22 +++++++++++-----------
 src/util/extend.ts            | 20 ++++++++++----------
 4 files changed, 29 insertions(+), 29 deletions(-)

diff --git a/package.json b/package.json
index bafe7b4..37bfd3b 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@thilawyn/traitify-ts",
-  "version": "0.1.11",
+  "version": "0.1.12",
   "type": "module",
   "publishConfig": {
     "registry": "https://git.jvalver.de/api/packages/thilawyn/npm/"
diff --git a/src/Trait.ts b/src/Trait.ts
index 63109a6..d2f1f2e 100644
--- a/src/Trait.ts
+++ b/src/Trait.ts
@@ -74,43 +74,43 @@ export namespace Trait {
 
 export namespace TraitTuple {
     export type MapAbstract<T> = {
-        [K in keyof T]: K extends keyof []
+        [K in keyof T]: K extends keyof readonly []
             ? T[K]
             : Trait.Abstract<T[K]>
     }
 
     export type MapStaticAbstract<T> = {
-        [K in keyof T]: K extends keyof []
+        [K in keyof T]: K extends keyof readonly []
             ? T[K]
             : Trait.StaticAbstract<T[K]>
     }
 
     export type MapImplClass<T> = {
-        [K in keyof T]: K extends keyof []
+        [K in keyof T]: K extends keyof readonly []
             ? T[K]
             : Trait.ImplClass<T[K]>
     }
 
     export type MapImplInstance<T> = {
-        [K in keyof T]: K extends keyof []
+        [K in keyof T]: K extends keyof readonly []
             ? T[K]
             : Trait.ImplInstance<T[K]>
     }
 
     export type MapImplStaticMembers<T> = {
-        [K in keyof T]: K extends keyof []
+        [K in keyof T]: K extends keyof readonly []
             ? T[K]
             : Trait.ImplStaticMembers<T[K]>
     }
 
     export type MapInstance<T> = {
-        [K in keyof T]: K extends keyof []
+        [K in keyof T]: K extends keyof readonly []
             ? T[K]
             : Trait.Instance<T[K]>
     }
 
     export type MapStaticMembers<T> = {
-        [K in keyof T]: K extends keyof []
+        [K in keyof T]: K extends keyof readonly []
             ? T[K]
             : Trait.Static<T[K]>
     }
diff --git a/src/TraitExpressionBuilder.ts b/src/TraitExpressionBuilder.ts
index 2885fe6..60335c9 100644
--- a/src/TraitExpressionBuilder.ts
+++ b/src/TraitExpressionBuilder.ts
@@ -33,7 +33,7 @@ export class TraitExpressionBuilder<
         return traits.flatMap(trait => [
             ...trait.superExpression.traits,
             trait,
-        ]) as TraitExpressionBuilder.SpreadSupertraits<T>
+        ]) as readonly Trait<any, any, any, any>[] as TraitExpressionBuilder.SpreadSupertraits<T>
     }
 
     static traitsUniq<
@@ -49,7 +49,7 @@ export class TraitExpressionBuilder<
     >(
         traits: T
     ) {
-        return uniq(traits) as TraitExpressionBuilder.TraitsUniq<T>
+        return uniq(traits) as readonly Trait<any, any, any, any>[] as TraitExpressionBuilder.TraitsUniq<T>
     }
 
 
@@ -142,30 +142,30 @@ export class TraitExpressionBuilder<
 
 export namespace TraitExpressionBuilder {
     export type SpreadSupertraits<Traits> = (
-        Traits extends [
+        Traits extends readonly [
             infer El extends Trait<any, any, any, any>,
             ...infer Rest,
         ]
-            ? [
+            ? readonly [
                 ...Trait.Supertraits<El>,
                 El,
                 ...SpreadSupertraits<Rest>,
             ]
-            : []
+            : readonly []
     )
 
     export type TraitsUniq<Traits> = (
-        Traits extends [
+        Traits extends readonly [
             ...infer Rest,
             infer El extends Trait<any, any, any, any>,
         ]
             ? IsTraitInTupleFromRight<Rest, El> extends true
                 ? TraitsUniq<Rest>
-                : [...TraitsUniq<Rest>, El]
-            : []
+                : readonly [...TraitsUniq<Rest>, El]
+            : readonly []
     )
     type IsTraitInTupleFromRight<Traits, T> = (
-        Traits extends [...infer Rest, infer El]
+        Traits extends readonly [...infer Rest, infer El]
             ? IsEqual<El, T> extends true
                 ? true
                 : IsTraitInTupleFromRight<Rest, T>
@@ -176,7 +176,7 @@ export namespace TraitExpressionBuilder {
         Traits extends readonly Trait<any, any, any, any>[],
         T      extends readonly Trait<any, any, any, any>[],
     > = (
-        TraitExpressionBuilder.TraitsUniq<[
+        TraitExpressionBuilder.TraitsUniq<readonly [
             ...Traits,
             ...TraitExpressionBuilder.SpreadSupertraits<T>,
         ]>
@@ -186,7 +186,7 @@ export namespace TraitExpressionBuilder {
         Traits extends readonly Trait<any, any, any, any>[],
         T      extends readonly Trait<any, any, any, any>[],
     > = (
-        TraitExpressionBuilder.TraitsUniq<[
+        TraitExpressionBuilder.TraitsUniq<readonly [
             ...TraitExpressionBuilder.SpreadSupertraits<T>,
             ...Traits,
         ]>
diff --git a/src/util/extend.ts b/src/util/extend.ts
index 1618656..9df1ca1 100644
--- a/src/util/extend.ts
+++ b/src/util/extend.ts
@@ -22,30 +22,30 @@ import { CommonKeys } from "."
 
 // TODO: use OverrideProperties from type-fest?
 export type Extend<T extends readonly object[]> = (
-    T extends [
+    T extends readonly [
         infer Super,
         infer Self,
-        ...infer Rest extends object[],
+        ...infer Rest extends readonly object[],
     ]
         ? Pick<Self, CommonKeys<Self, Super>> extends Pick<Super, CommonKeys<Self, Super>>
-            ? Extend<[
+            ? Extend<readonly [
                 Omit<Super, CommonKeys<Self, Super>> & Self,
                 ...Rest,
             ]>
             : never
-        : T extends [infer Self]
+        : T extends readonly [infer Self]
             ? Self
             : {}
 )
 
 export type Extendable<T extends readonly object[]> = (
-    T extends [
+    T extends readonly [
         infer Super,
         infer Self,
-        ...infer Rest extends object[],
+        ...infer Rest extends readonly object[],
     ]
         ? Pick<Self, CommonKeys<Self, Super>> extends Pick<Super, CommonKeys<Self, Super>>
-            ? Extendable<[
+            ? Extendable<readonly [
                 Omit<Super, CommonKeys<Self, Super>> & Self,
                 ...Rest,
             ]>
@@ -54,16 +54,16 @@ export type Extendable<T extends readonly object[]> = (
 )
 
 export type NonExtendableKeys<T extends readonly object[]> = (
-    T extends [
+    T extends readonly [
         infer Super   extends object,
         infer Self    extends object,
-        ...infer Rest extends object[],
+        ...infer Rest extends readonly object[],
     ]
         ? {[K in keyof Super & keyof Self]: Self[K] extends Super[K]
             ? never
             : K
         }[keyof Super & keyof Self]
-        | NonExtendableKeys<[
+        | NonExtendableKeys<readonly [
             Super & Self,
             ...Rest,
         ]>