From 9a5d50562106628e88f7ea846203fcfc0cbfaf0a Mon Sep 17 00:00:00 2001
From: tommy-mitchell <tmitchell7@uh.edu>
Date: Tue, 13 Sep 2022 13:25:20 -0500
Subject: [PATCH] Merge #154

---
 .../lib/assertions/handlers/informational.ts   | 15 +++++++++++++--
 .../informational/print-type/index.d.ts        | 18 +++++++++++++++++-
 .../informational/print-type/index.test-d.ts   |  3 ++-
 source/test/informational.ts                   |  1 +
 4 files changed, 33 insertions(+), 4 deletions(-)

diff --git a/source/lib/assertions/handlers/informational.ts b/source/lib/assertions/handlers/informational.ts
index c0172a8e..a7f08f3e 100644
--- a/source/lib/assertions/handlers/informational.ts
+++ b/source/lib/assertions/handlers/informational.ts
@@ -1,7 +1,17 @@
-import {CallExpression, TypeChecker} from '@tsd/typescript';
+import {CallExpression, TypeChecker, TypeFormatFlags} from '@tsd/typescript';
 import {Diagnostic} from '../../interfaces';
 import {makeDiagnostic, tsutils} from '../../utils';
 
+/**
+ * Default formatting flags set by TS plus the {@link TypeFormatFlags.NoTruncation NoTruncation} flag.
+ *
+ * @see {@link https://github.dev/microsoft/TypeScript/blob/b975dfa1027d1f3073fa7cbe6f7045bf4c882785/src/compiler/checker.ts#L4717 TypeChecker.typeToString}
+ */
+const typeToStringFormatFlags =
+	TypeFormatFlags.AllowUniqueESSymbolType |
+	TypeFormatFlags.UseAliasDefinedOutsideCurrentScope |
+	TypeFormatFlags.NoTruncation;
+
 /**
  * Prints the type of the argument of the assertion as a warning.
  *
@@ -19,8 +29,9 @@ export const printTypeWarning = (checker: TypeChecker, nodes: Set<CallExpression
 	for (const node of nodes) {
 		const argumentType = checker.getTypeAtLocation(node.arguments[0]);
 		const argumentExpression = node.arguments[0].getText();
+		const typeString = checker.typeToString(argumentType, node, typeToStringFormatFlags);
 
-		diagnostics.push(makeDiagnostic(node, `Type for expression \`${argumentExpression}\` is: \`${checker.typeToString(argumentType)}\``, 'warning'));
+		diagnostics.push(makeDiagnostic(node, `Type for expression \`${argumentExpression}\` is: \`${typeString}\``, 'warning'));
 	}
 
 	return diagnostics;
diff --git a/source/test/fixtures/informational/print-type/index.d.ts b/source/test/fixtures/informational/print-type/index.d.ts
index 6f3a1c51..12ee5dfd 100644
--- a/source/test/fixtures/informational/print-type/index.d.ts
+++ b/source/test/fixtures/informational/print-type/index.d.ts
@@ -1 +1,17 @@
-export default function (foo: number): number | null;
+export function aboveZero(foo: number): number | null;
+
+type SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace = {
+	life: 42
+};
+
+export const bigType: {
+	prop1: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace;
+	prop2: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace;
+	prop3: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace;
+	prop4: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace;
+	prop5: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace;
+	prop6: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace;
+	prop7: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace;
+	prop8: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace;
+	prop9: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace;
+}
diff --git a/source/test/fixtures/informational/print-type/index.test-d.ts b/source/test/fixtures/informational/print-type/index.test-d.ts
index 2173ab7c..efe2fd54 100644
--- a/source/test/fixtures/informational/print-type/index.test-d.ts
+++ b/source/test/fixtures/informational/print-type/index.test-d.ts
@@ -1,5 +1,5 @@
 import {printType} from '../../../..';
-import aboveZero from '.';
+import {aboveZero, bigType} from '.';
 
 printType(aboveZero);
 printType(null);
@@ -8,3 +8,4 @@ printType(null as any);
 printType(null as never);
 printType(null as unknown);
 printType('foo');
+printType(bigType);
diff --git a/source/test/informational.ts b/source/test/informational.ts
index 22790b36..c2a81cab 100644
--- a/source/test/informational.ts
+++ b/source/test/informational.ts
@@ -14,6 +14,7 @@ test('print type', async t => {
 		[8, 0, 'warning', 'Type for expression `null as never` is: `never`'],
 		[9, 0, 'warning', 'Type for expression `null as unknown` is: `unknown`'],
 		[10, 0, 'warning', 'Type for expression `\'foo\'` is: `"foo"`'],
+		[11, 0, 'warning', 'Type for expression `bigType` is: `{ prop1: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace; prop2: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace; prop3: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace; prop4: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace; prop5: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace; prop6: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace; prop7: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace; prop8: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace; prop9: SuperTypeWithAnExessiveLongNameThatTakesUpTooMuchSpace; }`'],
 	]);
 });