diff --git a/src/compiler/declarationEmitter.ts b/src/compiler/declarationEmitter.ts
index 8431756c917..ee8b7f2ac39 100644
--- a/src/compiler/declarationEmitter.ts
+++ b/src/compiler/declarationEmitter.ts
@@ -1387,7 +1387,11 @@ module ts {
                 }
                 else if (bindingPattern.kind === SyntaxKind.ArrayBindingPattern) {
                     write("[");
-                    emitCommaList(bindingPattern.elements, emitBindingElement);
+                    let elements = bindingPattern.elements;
+                    emitCommaList(elements, emitBindingElement);
+                    if (elements && elements.hasTrailingComma) {
+                        write(", ");
+                    }
                     write("]");
                 }
             }
@@ -1402,40 +1406,51 @@ module ts {
                     } : undefined;
                 }
 
-                if (bindingElement.propertyName) {
-                    // bindingElement has propertyName property in the following case:
-                    //      { y: [a,b,c] ...} -> bindingPattern will have a property called propertyName for "y"
-                    // We have to explicitly emit the propertyName before descending into its binding elements.
+                if (bindingElement.kind === SyntaxKind.OmittedExpression) {
+                    // If bindingElement is an omittedExpression (i.e. containing elision),
+                    // we will emit blank space (although this may differ from users' original code,
+                    // it allows emitSeparatedList to write separator appropriately)
                     // Example:
-                    //      original: function foo({y: [a,b,c]}) {}
-                    //      emit    : declare function foo({y: [a, b, c]}: { y: [any, any, any] }) void;
-                    writeTextOfNode(currentSourceFile, bindingElement.propertyName);
-                    write(": ");
-
-                    // If bindingElement has propertyName property, then its name must be another bindingPattern of SyntaxKind.ObjectBindingPattern
-                    emitBindingPattern(<BindingPattern>bindingElement.name);
+                    //      original: function foo([, x, ,]) {}
+                    //      emit    : function foo([ , x,  , ]) {}
+                    write(" ");
                 }
-                else if (bindingElement.name) {
-                    if (isBindingPattern(bindingElement.name)) {
-                        // If it is a nested binding pattern, we will recursively descend into each element and emit each one separately.
-                        // In the case of rest element, we will omit rest element.
+                else if (bindingElement.kind === SyntaxKind.BindingElement) {
+                    if (bindingElement.propertyName) {
+                        // bindingElement has propertyName property in the following case:
+                        //      { y: [a,b,c] ...} -> bindingPattern will have a property called propertyName for "y"
+                        // We have to explicitly emit the propertyName before descending into its binding elements.
                         // Example:
-                        //      original: function foo([a, [[b]], c] = [1,[["string"]], 3]) {}
-                        //      emit    : declare function foo([a, [[b]], c]: [number, [[string]], number]): void;
-                        //      original with rest: function foo([a, ...c]) {}
-                        //      emit              : declare function foo([a, ...c]): void;
+                        //      original: function foo({y: [a,b,c]}) {}
+                        //      emit    : declare function foo({y: [a, b, c]}: { y: [any, any, any] }) void;
+                        writeTextOfNode(currentSourceFile, bindingElement.propertyName);
+                        write(": ");
+
+                        // If bindingElement has propertyName property, then its name must be another bindingPattern of SyntaxKind.ObjectBindingPattern
                         emitBindingPattern(<BindingPattern>bindingElement.name);
                     }
-                    else {
-                        Debug.assert(bindingElement.name.kind === SyntaxKind.Identifier);
-                        // If the node is just an identifier, we will simply emit the text associated with the node's name
-                        // Example:
-                        //      original: function foo({y = 10, x}) {}
-                        //      emit    : declare function foo({y, x}: {number, any}): void;
-                        if (bindingElement.dotDotDotToken) {
-                            write("...");
+                    else if (bindingElement.name) {
+                        if (isBindingPattern(bindingElement.name)) {
+                            // If it is a nested binding pattern, we will recursively descend into each element and emit each one separately.
+                            // In the case of rest element, we will omit rest element.
+                            // Example:
+                            //      original: function foo([a, [[b]], c] = [1,[["string"]], 3]) {}
+                            //      emit    : declare function foo([a, [[b]], c]: [number, [[string]], number]): void;
+                            //      original with rest: function foo([a, ...c]) {}
+                            //      emit              : declare function foo([a, ...c]): void;
+                            emitBindingPattern(<BindingPattern>bindingElement.name);
+                        }
+                        else {
+                            Debug.assert(bindingElement.name.kind === SyntaxKind.Identifier);
+                            // If the node is just an identifier, we will simply emit the text associated with the node's name
+                            // Example:
+                            //      original: function foo({y = 10, x}) {}
+                            //      emit    : declare function foo({y, x}: {number, any}): void;
+                            if (bindingElement.dotDotDotToken) {
+                                write("...");
+                            }
+                            writeTextOfNode(currentSourceFile, bindingElement.name);
                         }
-                        writeTextOfNode(currentSourceFile, bindingElement.name);
                     }
                 }
             } 
diff --git a/tests/baselines/reference/declarationEmitDestructuring5.js b/tests/baselines/reference/declarationEmitDestructuring5.js
new file mode 100644
index 00000000000..f0602206a14
--- /dev/null
+++ b/tests/baselines/reference/declarationEmitDestructuring5.js
@@ -0,0 +1,37 @@
+//// [declarationEmitDestructuring5.ts]
+function baz([, z, , ]) { }
+function foo([, b, ]: [any, any]): void { }
+function bar([z, , , ]) { }
+function bar1([z, , , ] = [1, 3, 4, 6, 7]) { }
+function bar2([,,z, , , ]) { }
+
+//// [declarationEmitDestructuring5.js]
+function baz(_a) {
+    var z = _a[1];
+}
+function foo(_a) {
+    var b = _a[1];
+}
+function bar(_a) {
+    var z = _a[0];
+}
+function bar1(_a) {
+    var _b = _a === void 0 ? [
+        1,
+        3,
+        4,
+        6,
+        7
+    ] : _a, z = _b[0];
+}
+function bar2(_a) {
+    var z = _a[2];
+}
+
+
+//// [declarationEmitDestructuring5.d.ts]
+declare function baz([ , z,  , ]: [any, any, any]): void;
+declare function foo([ , b, ]: [any, any]): void;
+declare function bar([z,  ,  , ]: [any, any, any]): void;
+declare function bar1([z,  ,  , ]?: [number, number, number, number, number]): void;
+declare function bar2([ ,  , z,  ,  , ]: [any, any, any, any, any]): void;
diff --git a/tests/baselines/reference/declarationEmitDestructuring5.types b/tests/baselines/reference/declarationEmitDestructuring5.types
new file mode 100644
index 00000000000..375440bea0b
--- /dev/null
+++ b/tests/baselines/reference/declarationEmitDestructuring5.types
@@ -0,0 +1,22 @@
+=== tests/cases/compiler/declarationEmitDestructuring5.ts ===
+function baz([, z, , ]) { }
+>baz : ([, z, , ]: [any, any, any]) => void
+>z : any
+
+function foo([, b, ]: [any, any]): void { }
+>foo : ([, b, ]: [any, any]) => void
+>b : any
+
+function bar([z, , , ]) { }
+>bar : ([z, , , ]: [any, any, any]) => void
+>z : any
+
+function bar1([z, , , ] = [1, 3, 4, 6, 7]) { }
+>bar1 : ([z, , , ]?: [number, number, number, number, number]) => void
+>z : number
+>[1, 3, 4, 6, 7] : [number, number, number, number, number]
+
+function bar2([,,z, , , ]) { }
+>bar2 : ([,,z, , , ]: [any, any, any, any, any]) => void
+>z : any
+
diff --git a/tests/cases/compiler/declarationEmitDestructuring5.ts b/tests/cases/compiler/declarationEmitDestructuring5.ts
new file mode 100644
index 00000000000..a02a21b5a50
--- /dev/null
+++ b/tests/cases/compiler/declarationEmitDestructuring5.ts
@@ -0,0 +1,6 @@
+// @declaration: true
+function baz([, z, , ]) { }
+function foo([, b, ]: [any, any]): void { }
+function bar([z, , , ]) { }
+function bar1([z, , , ] = [1, 3, 4, 6, 7]) { }
+function bar2([,,z, , , ]) { }
\ No newline at end of file