tstyche 3.3.0 → 3.4.0

package/build/index.d.cts

@@ -216,26 +216,26 @@ interface Expect {
     /**
      * Builds an assertion.
      *
-     * @template Source - The type against which the assertion will be made.
+     * @template Source - The type against which the assertion is made.
      */
     <Source>(): Modifier;
     /**
      * Builds an assertion.
      *
-     * @param source - The expression against which type the assertion will be made.
+     * @param source - The expression against which type the assertion is made.
      */
     (source: unknown): Modifier;
     fail: {
         /**
          * Mark an assertion as supposed to fail.
          *
-         * @template Source - The type against which the assertion will be made.
+         * @template Source - The type against which the assertion is made.
          */
         <Source>(): Modifier;
         /**
          * Mark an assertion as supposed to fail.
          *
-         * @param source - The expression against which type the assertion will be made.
+         * @param source - The expression against which type the assertion is made.
          */
         (source: unknown): Modifier;
     };
@@ -246,26 +246,26 @@ interface Expect {
         /**
          * Marks an assertion as focused.
          *
-         * @template Source - The type against which the assertion will be made.
+         * @template Source - The type against which the assertion is made.
          */
         <Source>(): Modifier;
         /**
          * Marks an assertion as focused.
          *
-         * @param source - The expression against which type the assertion will be made.
+         * @param source - The expression against which type the assertion is made.
          */
         (source: unknown): Modifier;
         fail: {
             /**
              * Mark an assertion as supposed to fail.
              *
-             * @template Source - The type against which the assertion will be made.
+             * @template Source - The type against which the assertion is made.
              */
             <Source>(): Modifier;
             /**
              * Mark an assertion as supposed to fail.
              *
-             * @param source - The expression against which type the assertion will be made.
+             * @param source - The expression against which type the assertion is made.
              */
             (source: unknown): Modifier;
         };
@@ -277,26 +277,26 @@ interface Expect {
         /**
          * Marks an assertion as skipped.
          *
-         * @template Source - The type against which the assertion will be made.
+         * @template Source - The type against which the assertion is made.
          */
         <Source>(): Modifier;
         /**
          * Marks an assertion as skipped.
          *
-         * @param source - The expression against which type the assertion will be made.
+         * @param source - The expression against which type the assertion is made.
          */
         (source: unknown): Modifier;
         fail: {
             /**
              * Marks an assertion as supposed to fail.
              *
-             * @template Source - The type against which the assertion will be made.
+             * @template Source - The type against which the assertion is made.
              */
             <Source>(): Modifier;
             /**
              * Marks an assertion as supposed to fail.
              *
-             * @param source - The expression against which type the assertion will be made.
+             * @param source - The expression against which type the assertion is made.
              */
             (source: unknown): Modifier;
         };

package/build/index.d.ts

@@ -216,26 +216,26 @@ interface Expect {
     /**
      * Builds an assertion.
      *
-     * @template Source - The type against which the assertion will be made.
+     * @template Source - The type against which the assertion is made.
      */
     <Source>(): Modifier;
     /**
      * Builds an assertion.
      *
-     * @param source - The expression against which type the assertion will be made.
+     * @param source - The expression against which type the assertion is made.
      */
     (source: unknown): Modifier;
     fail: {
         /**
          * Mark an assertion as supposed to fail.
          *
-         * @template Source - The type against which the assertion will be made.
+         * @template Source - The type against which the assertion is made.
          */
         <Source>(): Modifier;
         /**
          * Mark an assertion as supposed to fail.
          *
-         * @param source - The expression against which type the assertion will be made.
+         * @param source - The expression against which type the assertion is made.
          */
         (source: unknown): Modifier;
     };
@@ -246,26 +246,26 @@ interface Expect {
         /**
          * Marks an assertion as focused.
          *
-         * @template Source - The type against which the assertion will be made.
+         * @template Source - The type against which the assertion is made.
          */
         <Source>(): Modifier;
         /**
          * Marks an assertion as focused.
          *
-         * @param source - The expression against which type the assertion will be made.
+         * @param source - The expression against which type the assertion is made.
          */
         (source: unknown): Modifier;
         fail: {
             /**
              * Mark an assertion as supposed to fail.
              *
-             * @template Source - The type against which the assertion will be made.
+             * @template Source - The type against which the assertion is made.
              */
             <Source>(): Modifier;
             /**
              * Mark an assertion as supposed to fail.
              *
-             * @param source - The expression against which type the assertion will be made.
+             * @param source - The expression against which type the assertion is made.
              */
             (source: unknown): Modifier;
         };
@@ -277,26 +277,26 @@ interface Expect {
         /**
          * Marks an assertion as skipped.
          *
-         * @template Source - The type against which the assertion will be made.
+         * @template Source - The type against which the assertion is made.
          */
         <Source>(): Modifier;
         /**
          * Marks an assertion as skipped.
          *
-         * @param source - The expression against which type the assertion will be made.
+         * @param source - The expression against which type the assertion is made.
          */
         (source: unknown): Modifier;
         fail: {
             /**
              * Marks an assertion as supposed to fail.
              *
-             * @template Source - The type against which the assertion will be made.
+             * @template Source - The type against which the assertion is made.
              */
             <Source>(): Modifier;
             /**
              * Marks an assertion as supposed to fail.
              *
-             * @param source - The expression against which type the assertion will be made.
+             * @param source - The expression against which type the assertion is made.
              */
             (source: unknown): Modifier;
         };

package/build/tstyche.js

@@ -2841,26 +2841,28 @@ class WatchService {
             cancellationToken.cancel(reason);
             debounce.resolveWith([]);
         };
-        const onInput = (chunk) => {
-            switch (chunk.toLowerCase()) {
-                case "\u0003":
-                case "\u0004":
-                case "\u001B":
-                case "q":
-                case "x":
-                    onClose(CancellationReason.WatchClose);
-                    break;
-                case "\u000D":
-                case "\u0020":
-                case "a":
-                    debounce.clearTimeout();
-                    if (this.#watchedTestFiles.size > 0) {
-                        debounce.resolveWith([...this.#watchedTestFiles.values()]);
-                    }
-                    break;
-            }
-        };
-        this.#inputService = new InputService(onInput);
+        if (!environmentOptions.noInteractive) {
+            const onInput = (chunk) => {
+                switch (chunk.toLowerCase()) {
+                    case "\u0003":
+                    case "\u0004":
+                    case "\u001B":
+                    case "q":
+                    case "x":
+                        onClose(CancellationReason.WatchClose);
+                        break;
+                    case "\u000D":
+                    case "\u0020":
+                    case "a":
+                        debounce.clearTimeout();
+                        if (this.#watchedTestFiles.size > 0) {
+                            debounce.resolveWith([...this.#watchedTestFiles.values()]);
+                        }
+                        break;
+                }
+            };
+            this.#inputService = new InputService(onInput);
+        }
         const onChangedFile = (filePath) => {
             debounce.refreshTimeout();
             let task = this.#watchedTestFiles.get(filePath);
@@ -3474,15 +3476,13 @@ class MatchWorker {
         return this.#checkIsRelatedTo(sourceNode, targetNode, relation);
     }
     #checkIsRelatedTo(sourceNode, targetNode, relation) {
-        const sourceType = this.getType(sourceNode);
-        const targetType = this.getType(targetNode);
-        let result = this.#typeChecker.isTypeRelatedTo(sourceType, targetType, relation);
-        if (!result &&
-            relation === this.#typeChecker.relation.identity &&
-            (sourceType.isIntersection() || sourceType.isUnion())) {
-            result = sourceType.types.every((type) => this.#typeChecker.isTypeRelatedTo(type, targetType, relation));
-        }
-        return result;
+        const sourceType = relation === this.#typeChecker.relation.identity
+            ? this.#simplifyType(this.getType(sourceNode))
+            : this.getType(sourceNode);
+        const targetType = relation === this.#typeChecker.relation.identity
+            ? this.#simplifyType(this.getType(targetNode))
+            : this.getType(targetNode);
+        return this.#typeChecker.isTypeRelatedTo(sourceType, targetType, relation);
     }
     extendsObjectType(type) {
         const nonPrimitiveType = { flags: this.#compiler.TypeFlags.NonPrimitive };
@@ -3511,7 +3511,7 @@ class MatchWorker {
         return this.#typeChecker.typeToString(type);
     }
     getType(node) {
-        return this.#compiler.isExpression(node) ? this.#getTypeOfNode(node) : this.#getTypeOfTypeNode(node);
+        return this.#compiler.isTypeNode(node) ? this.#getTypeOfTypeNode(node) : this.#getTypeOfNode(node);
     }
     #getTypeOfNode(node) {
         let type = this.#typeCache.get(node);
@@ -3550,6 +3550,15 @@ class MatchWorker {
         }
         return DiagnosticOrigin.fromNode(enclosingNode, this.assertion);
     }
+    #simplifyType(type) {
+        if (type.isUnionOrIntersection()) {
+            const candidateType = this.#simplifyType(type.types[0]);
+            if (type.types.every((type) => this.#typeChecker.isTypeRelatedTo(this.#simplifyType(type), candidateType, this.#typeChecker.relation.identity))) {
+                return candidateType;
+            }
+        }
+        return type;
+    }
 }
 
 class PrimitiveTypeMatcher {
@@ -4327,11 +4336,15 @@ class TaskRunner {
 class Runner {
     #eventEmitter = new EventEmitter();
     #resolvedConfig;
-    static version = "3.3.0";
+    static version = "3.4.0";
     constructor(resolvedConfig) {
         this.#resolvedConfig = resolvedConfig;
     }
     async #addReporters() {
+        if (this.#resolvedConfig.watch && !environmentOptions.noInteractive) {
+            const watchReporter = new WatchReporter(this.#resolvedConfig);
+            this.#eventEmitter.addReporter(watchReporter);
+        }
         for (const reporter of this.#resolvedConfig.reporters) {
             switch (reporter) {
                 case "list": {
@@ -4351,10 +4364,6 @@ class Runner {
                 }
             }
         }
-        if (this.#resolvedConfig.watch) {
-            const watchReporter = new WatchReporter(this.#resolvedConfig);
-            this.#eventEmitter.addReporter(watchReporter);
-        }
     }
     async run(testFiles, cancellationToken = new CancellationToken()) {
         const tasks = testFiles.map((testFile) => (testFile instanceof Task ? testFile : new Task(testFile)));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tstyche",
-  "version": "3.3.0",
+  "version": "3.4.0",
   "description": "The Essential Type Testing Tool.",
   "keywords": [
     "typescript",
@@ -63,17 +63,17 @@
   "devDependencies": {
     "@biomejs/biome": "1.9.4",
     "@rollup/plugin-typescript": "12.1.2",
-    "@types/node": "22.10.2",
-    "@types/react": "19.0.2",
+    "@types/node": "22.10.5",
+    "@types/react": "19.0.4",
     "ajv": "8.17.1",
     "cspell": "8.17.1",
     "magic-string": "0.30.17",
     "monocart-coverage-reports": "2.11.5",
     "pretty-ansi": "3.0.0",
-    "rollup": "4.29.1",
+    "rollup": "4.30.1",
     "rollup-plugin-dts": "6.1.1",
     "tslib": "2.8.1",
-    "typescript": "5.7.2"
+    "typescript": "5.7.3"
   },
   "peerDependencies": {
     "typescript": "4.x || 5.x"