diff --git a/src/compiler/declarationEmitter.ts b/src/compiler/declarationEmitter.ts
index 63d71b0339e..5c44bf7b371 100644
--- a/src/compiler/declarationEmitter.ts
+++ b/src/compiler/declarationEmitter.ts
@@ -754,6 +754,7 @@ namespace ts {
             emitModuleElementDeclarationFlags(node);
             write("type ");
             writeTextOfNode(currentSourceFile, node.name);
+            emitTypeParameters(node.typeParameters);
             write(" = ");
             emitTypeWithNewGetSymbolAccessibilityDiagnostic(node.type, getTypeAliasDeclarationVisibilityError);
             write(";");
diff --git a/src/compiler/types.ts b/src/compiler/types.ts
index da43984ee13..d19ed62332e 100644
--- a/src/compiler/types.ts
+++ b/src/compiler/types.ts
@@ -1786,10 +1786,10 @@ namespace ts {
         ObjectType = Class | Interface | Reference | Tuple | Anonymous,
         UnionOrIntersection = Union | Intersection,
         StructuredType = ObjectType | Union | Intersection,
-        /* @internal */
+        /* @internal */
         RequiresWidening = ContainsUndefinedOrNull | ContainsObjectLiteral,
         /* @internal */
-        PropagatingFlags = ContainsUndefinedOrNull | ContainsObjectLiteral | ContainsAnyFunctionType
+        PropagatingFlags = ContainsUndefinedOrNull | ContainsObjectLiteral | ContainsAnyFunctionType
     }
 
     // Properties common to all types
diff --git a/tests/baselines/reference/typeAliasDeclarationEmit.js b/tests/baselines/reference/typeAliasDeclarationEmit.js
new file mode 100644
index 00000000000..6e82fe4b07d
--- /dev/null
+++ b/tests/baselines/reference/typeAliasDeclarationEmit.js
@@ -0,0 +1,14 @@
+//// [typeAliasDeclarationEmit.ts]
+
+export type callback<T> = () => T;
+
+export type CallbackArray<T extends callback> = () => T;
+
+//// [typeAliasDeclarationEmit.js]
+define(["require", "exports"], function (require, exports) {
+});
+
+
+//// [typeAliasDeclarationEmit.d.ts]
+export declare type callback<T> = () => T;
+export declare type CallbackArray<T extends callback> = () => T;
diff --git a/tests/baselines/reference/typeAliasDeclarationEmit.symbols b/tests/baselines/reference/typeAliasDeclarationEmit.symbols
new file mode 100644
index 00000000000..5f98ea75a5a
--- /dev/null
+++ b/tests/baselines/reference/typeAliasDeclarationEmit.symbols
@@ -0,0 +1,13 @@
+=== tests/cases/compiler/typeAliasDeclarationEmit.ts ===
+
+export type callback<T> = () => T;
+>callback : Symbol(callback, Decl(typeAliasDeclarationEmit.ts, 0, 0))
+>T : Symbol(T, Decl(typeAliasDeclarationEmit.ts, 1, 21))
+>T : Symbol(T, Decl(typeAliasDeclarationEmit.ts, 1, 21))
+
+export type CallbackArray<T extends callback> = () => T;
+>CallbackArray : Symbol(CallbackArray, Decl(typeAliasDeclarationEmit.ts, 1, 34))
+>T : Symbol(T, Decl(typeAliasDeclarationEmit.ts, 3, 26))
+>callback : Symbol(callback, Decl(typeAliasDeclarationEmit.ts, 0, 0))
+>T : Symbol(T, Decl(typeAliasDeclarationEmit.ts, 3, 26))
+
diff --git a/tests/baselines/reference/typeAliasDeclarationEmit.types b/tests/baselines/reference/typeAliasDeclarationEmit.types
new file mode 100644
index 00000000000..6f9359e36f5
--- /dev/null
+++ b/tests/baselines/reference/typeAliasDeclarationEmit.types
@@ -0,0 +1,13 @@
+=== tests/cases/compiler/typeAliasDeclarationEmit.ts ===
+
+export type callback<T> = () => T;
+>callback : () => T
+>T : T
+>T : T
+
+export type CallbackArray<T extends callback> = () => T;
+>CallbackArray : () => T
+>T : T
+>callback : () => T
+>T : T
+
diff --git a/tests/cases/compiler/typeAliasDeclarationEmit.ts b/tests/cases/compiler/typeAliasDeclarationEmit.ts
new file mode 100644
index 00000000000..be7e40453f6
--- /dev/null
+++ b/tests/cases/compiler/typeAliasDeclarationEmit.ts
@@ -0,0 +1,7 @@
+// @target: ES5
+// @module: AMD
+// @declaration: true
+
+export type callback<T> = () => T;
+
+export type CallbackArray<T extends callback> = () => T;
\ No newline at end of file