From 8a513ee277c03ce540547446519945554ca038b0 Mon Sep 17 00:00:00 2001
From: tommy-mitchell <tmitchell7@uh.edu>
Date: Wed, 14 Sep 2022 14:12:40 -0500
Subject: [PATCH] Add tests (#142)

---
 source/test/fixtures/expect-error/generics/index.d.ts     | 2 ++
 .../test/fixtures/expect-error/generics/index.test-d.ts   | 8 ++++++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/source/test/fixtures/expect-error/generics/index.d.ts b/source/test/fixtures/expect-error/generics/index.d.ts
index 487b40ec..20d6a304 100644
--- a/source/test/fixtures/expect-error/generics/index.d.ts
+++ b/source/test/fixtures/expect-error/generics/index.d.ts
@@ -6,3 +6,5 @@ export default one;
 
 export function two<T1>(foo: T1): T1;
 export function two<T1, T2, T3 extends T2>(foo: T1, bar: T2): T3;
+
+export const inferrable: <T = 'SomeDefaultValue'>() => T;
diff --git a/source/test/fixtures/expect-error/generics/index.test-d.ts b/source/test/fixtures/expect-error/generics/index.test-d.ts
index 284689dc..1d36835c 100644
--- a/source/test/fixtures/expect-error/generics/index.test-d.ts
+++ b/source/test/fixtures/expect-error/generics/index.test-d.ts
@@ -1,8 +1,12 @@
-import {expectError} from '../../../..';
-import one, {two} from '.';
+import {expectError, expectType} from '../../../..';
+import one, {two, inferrable} from '.';
 
 expectError(one(true, true));
 
 expectError(one<number>(1, 2));
 
 expectError(two<number, string>(1, 'bar'));
+
+expectError(expectType<number>(inferrable<true>()));
+
+expectError(expectType<number>(inferrable()));