diff --git a/tests/baselines/reference/abstractClass1.errors.txt b/tests/baselines/reference/abstractClass1.errors.txt
new file mode 100644
index 00000000000..5892f542663
--- /dev/null
+++ b/tests/baselines/reference/abstractClass1.errors.txt
@@ -0,0 +1,57 @@
+tests/cases/compiler/abstractClass1.ts(15,9): error TS2502: Cannot create an instance of the abstract class 'Foo'
+tests/cases/compiler/abstractClass1.ts(16,9): error TS2346: Supplied parameters do not match any signature of call target.
+tests/cases/compiler/abstractClass1.ts(16,9): error TS2502: Cannot create an instance of the abstract class 'Foo'
+tests/cases/compiler/abstractClass1.ts(25,1): error TS2502: Cannot create an instance of the abstract class 'Qux'
+tests/cases/compiler/abstractClass1.ts(35,1): error TS2346: Supplied parameters do not match any signature of call target.
+tests/cases/compiler/abstractClass1.ts(35,1): error TS2502: Cannot create an instance of the abstract class 'Foo'
+
+
+==== tests/cases/compiler/abstractClass1.ts (6 errors) ====
+    
+    abstract class Foo {
+        constructor(f: any) { }
+        public static bar(): void { }
+    
+        public empty() { }
+    }
+    
+    class Bar extends Foo {
+        constructor(f: any) {
+            super(f);
+        }
+    }
+    
+    var a = new Foo(1); // Error
+            ~~~~~~~~~~
+!!! error TS2502: Cannot create an instance of the abstract class 'Foo'
+    var b = new Foo(); // Error because of invalid constructor arguments
+            ~~~~~~~~~
+!!! error TS2346: Supplied parameters do not match any signature of call target.
+            ~~~~~~~~~
+!!! error TS2502: Cannot create an instance of the abstract class 'Foo'
+    
+    module baz {
+        export abstract class Qux {
+        }
+        export class Quz extends Qux {
+        }
+    }
+    
+    new baz.Qux();
+    ~~~~~~~~~~~~~
+!!! error TS2502: Cannot create an instance of the abstract class 'Qux'
+    
+    // Valid
+    var c = new Bar(1);
+    c.empty();
+    
+    // Calling a static method on a abstract class is valid
+    Foo.bar();
+    
+    var Copy = Foo;
+    new Copy();
+    ~~~~~~~~~~
+!!! error TS2346: Supplied parameters do not match any signature of call target.
+    ~~~~~~~~~~
+!!! error TS2502: Cannot create an instance of the abstract class 'Foo'
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/abstractClass1.js b/tests/baselines/reference/abstractClass1.js
new file mode 100644
index 00000000000..4cb36d91ae1
--- /dev/null
+++ b/tests/baselines/reference/abstractClass1.js
@@ -0,0 +1,107 @@
+//// [abstractClass1.ts]
+
+abstract class Foo {
+    constructor(f: any) { }
+    public static bar(): void { }
+
+    public empty() { }
+}
+
+class Bar extends Foo {
+    constructor(f: any) {
+        super(f);
+    }
+}
+
+var a = new Foo(1); // Error
+var b = new Foo(); // Error because of invalid constructor arguments
+
+module baz {
+    export abstract class Qux {
+    }
+    export class Quz extends Qux {
+    }
+}
+
+new baz.Qux();
+
+// Valid
+var c = new Bar(1);
+c.empty();
+
+// Calling a static method on a abstract class is valid
+Foo.bar();
+
+var Copy = Foo;
+new Copy();
+
+
+//// [abstractClass1.js]
+var __extends = this.__extends || function (d, b) {
+    for (var p in b) if (b.hasOwnProperty(p)) d[p] = b[p];
+    function __() { this.constructor = d; }
+    __.prototype = b.prototype;
+    d.prototype = new __();
+};
+var Foo = (function () {
+    function Foo(f) {
+    }
+    Foo.bar = function () { };
+    Foo.prototype.empty = function () { };
+    return Foo;
+})();
+var Bar = (function (_super) {
+    __extends(Bar, _super);
+    function Bar(f) {
+        _super.call(this, f);
+    }
+    return Bar;
+})(Foo);
+var a = new Foo(1); // Error
+var b = new Foo(); // Error because of invalid constructor arguments
+var baz;
+(function (baz) {
+    var Qux = (function () {
+        function Qux() {
+        }
+        return Qux;
+    })();
+    baz.Qux = Qux;
+    var Quz = (function (_super) {
+        __extends(Quz, _super);
+        function Quz() {
+            _super.apply(this, arguments);
+        }
+        return Quz;
+    })(Qux);
+    baz.Quz = Quz;
+})(baz || (baz = {}));
+new baz.Qux();
+// Valid
+var c = new Bar(1);
+c.empty();
+// Calling a static method on a abstract class is valid
+Foo.bar();
+var Copy = Foo;
+new Copy();
+
+
+//// [abstractClass1.d.ts]
+declare abstract class Foo {
+    constructor(f: any);
+    static bar(): void;
+    empty(): void;
+}
+declare class Bar extends Foo {
+    constructor(f: any);
+}
+declare var a: Foo;
+declare var b: any;
+declare module baz {
+    abstract class Qux {
+    }
+    class Quz extends Qux {
+    }
+}
+declare var c: Bar;
+declare var Copy: typeof Foo;
diff --git a/tests/baselines/reference/abstractClassIdentifierName.js b/tests/baselines/reference/abstractClassIdentifierName.js
new file mode 100644
index 00000000000..71827d2cb5b
--- /dev/null
+++ b/tests/baselines/reference/abstractClassIdentifierName.js
@@ -0,0 +1,14 @@
+//// [abstractClassIdentifierName.ts]
+class abstract {
+
+    abstract(): void { }
+}
+
+
+//// [abstractClassIdentifierName.js]
+var abstract = (function () {
+    function abstract() {
+    }
+    abstract.prototype.abstract = function () { };
+    return abstract;
+})();
diff --git a/tests/baselines/reference/abstractClassIdentifierName.symbols b/tests/baselines/reference/abstractClassIdentifierName.symbols
new file mode 100644
index 00000000000..41c46649c43
--- /dev/null
+++ b/tests/baselines/reference/abstractClassIdentifierName.symbols
@@ -0,0 +1,8 @@
+=== tests/cases/compiler/abstractClassIdentifierName.ts ===
+class abstract {
+>abstract : Symbol(abstract, Decl(abstractClassIdentifierName.ts, 0, 0))
+
+    abstract(): void { }
+>abstract : Symbol(abstract, Decl(abstractClassIdentifierName.ts, 0, 16))
+}
+
diff --git a/tests/baselines/reference/abstractClassIdentifierName.types b/tests/baselines/reference/abstractClassIdentifierName.types
new file mode 100644
index 00000000000..ef152979f13
--- /dev/null
+++ b/tests/baselines/reference/abstractClassIdentifierName.types
@@ -0,0 +1,8 @@
+=== tests/cases/compiler/abstractClassIdentifierName.ts ===
+class abstract {
+>abstract : abstract
+
+    abstract(): void { }
+>abstract : () => void
+}
+
diff --git a/tests/baselines/reference/abstractIdentifierNameStrict.js b/tests/baselines/reference/abstractIdentifierNameStrict.js
new file mode 100644
index 00000000000..8544019c4d1
--- /dev/null
+++ b/tests/baselines/reference/abstractIdentifierNameStrict.js
@@ -0,0 +1,14 @@
+//// [abstractIdentifierNameStrict.ts]
+var abstract = true;
+
+function foo() {
+    "use strict";
+    var abstract = true;
+}
+
+//// [abstractIdentifierNameStrict.js]
+var abstract = true;
+function foo() {
+    "use strict";
+    var abstract = true;
+}
diff --git a/tests/baselines/reference/abstractIdentifierNameStrict.symbols b/tests/baselines/reference/abstractIdentifierNameStrict.symbols
new file mode 100644
index 00000000000..f983ddccdc9
--- /dev/null
+++ b/tests/baselines/reference/abstractIdentifierNameStrict.symbols
@@ -0,0 +1,11 @@
+=== tests/cases/compiler/abstractIdentifierNameStrict.ts ===
+var abstract = true;
+>abstract : Symbol(abstract, Decl(abstractIdentifierNameStrict.ts, 0, 3))
+
+function foo() {
+>foo : Symbol(foo, Decl(abstractIdentifierNameStrict.ts, 0, 20))
+
+    "use strict";
+    var abstract = true;
+>abstract : Symbol(abstract, Decl(abstractIdentifierNameStrict.ts, 4, 7))
+}
diff --git a/tests/baselines/reference/abstractIdentifierNameStrict.types b/tests/baselines/reference/abstractIdentifierNameStrict.types
new file mode 100644
index 00000000000..e43207007e0
--- /dev/null
+++ b/tests/baselines/reference/abstractIdentifierNameStrict.types
@@ -0,0 +1,15 @@
+=== tests/cases/compiler/abstractIdentifierNameStrict.ts ===
+var abstract = true;
+>abstract : boolean
+>true : boolean
+
+function foo() {
+>foo : () => void
+
+    "use strict";
+>"use strict" : string
+
+    var abstract = true;
+>abstract : boolean
+>true : boolean
+}
diff --git a/tests/baselines/reference/abstractInterfaceIdentifierName.js b/tests/baselines/reference/abstractInterfaceIdentifierName.js
new file mode 100644
index 00000000000..c3913ae5cdf
--- /dev/null
+++ b/tests/baselines/reference/abstractInterfaceIdentifierName.js
@@ -0,0 +1,8 @@
+//// [abstractInterfaceIdentifierName.ts]
+
+interface abstract {
+    abstract(): void;
+}
+
+
+//// [abstractInterfaceIdentifierName.js]
diff --git a/tests/baselines/reference/abstractInterfaceIdentifierName.symbols b/tests/baselines/reference/abstractInterfaceIdentifierName.symbols
new file mode 100644
index 00000000000..db2ad0aceba
--- /dev/null
+++ b/tests/baselines/reference/abstractInterfaceIdentifierName.symbols
@@ -0,0 +1,9 @@
+=== tests/cases/compiler/abstractInterfaceIdentifierName.ts ===
+
+interface abstract {
+>abstract : Symbol(abstract, Decl(abstractInterfaceIdentifierName.ts, 0, 0))
+
+    abstract(): void;
+>abstract : Symbol(abstract, Decl(abstractInterfaceIdentifierName.ts, 1, 20))
+}
+
diff --git a/tests/baselines/reference/abstractInterfaceIdentifierName.types b/tests/baselines/reference/abstractInterfaceIdentifierName.types
new file mode 100644
index 00000000000..3a5c6024f4c
--- /dev/null
+++ b/tests/baselines/reference/abstractInterfaceIdentifierName.types
@@ -0,0 +1,9 @@
+=== tests/cases/compiler/abstractInterfaceIdentifierName.ts ===
+
+interface abstract {
+>abstract : abstract
+
+    abstract(): void;
+>abstract : () => void
+}
+