diff --git a/tests/cases/fourslash/quickInfoForTypeParameterInTypeAlias.ts b/tests/cases/fourslash/quickInfoForTypeParameterInTypeAlias.ts
new file mode 100644
index 00000000000..7259a299a7b
--- /dev/null
+++ b/tests/cases/fourslash/quickInfoForTypeParameterInTypeAlias.ts
@@ -0,0 +1,29 @@
+///<reference path="fourslash.ts" />
+
+//// type Ctor<AA> = new () => A/*1*/A;
+//// type MixinCtor<AA> = new () => AA & { constructor: MixinCtor<A/*2*/A> };
+//// type NestedCtor<AA> = new() => AA & (new () => AA & { constructor: NestedCtor<A/*3*/A> });
+//// type Method<AA> = { method(): A/*4*/A };
+//// type Construct<AA> = { new(): A/*5*/A };
+//// type Call<AA> = { (): A/*6*/A };
+//// type Index<AA> = {[foo: string]: A/*7*/A};
+//// type GenericMethod<AA> = { method<BB>(): A/*8*/A & B/*9*/B }
+
+goTo.marker('1');
+verify.quickInfoIs('(type parameter) AA in type Ctor<AA>');
+goTo.marker('2');
+verify.quickInfoIs('(type parameter) AA in type MixinCtor<AA>');
+goTo.marker('3');
+verify.quickInfoIs('(type parameter) AA in type NestedCtor<AA>');
+goTo.marker('4');
+verify.quickInfoIs('(type parameter) AA in type Method<AA>');
+goTo.marker('5');
+verify.quickInfoIs('(type parameter) AA in type Construct<AA>');
+goTo.marker('6');
+verify.quickInfoIs('(type parameter) AA in type Call<AA>');
+goTo.marker('7');
+verify.quickInfoIs('(type parameter) AA in type Index<AA>');
+goTo.marker('8');
+verify.quickInfoIs('(type parameter) AA in type GenericMethod<AA>');
+goTo.marker('9');
+verify.quickInfoIs('(type parameter) BB in method<BB>(): AA & BB');
\ No newline at end of file