diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
index 9b0c5d3468c..c302d71025c 100644
--- a/src/compiler/checker.ts
+++ b/src/compiler/checker.ts
@@ -14059,13 +14059,9 @@ namespace ts {
                 // Check whether the file has declared it is the default lib,
                 // and whether the user has specifically chosen to avoid checking it.
                 if (compilerOptions.skipDefaultLibCheck) {
-                    if (node.isDefaultLib) {
-                        return;
-                    }
-
                     // If the user specified '--noLib' and a file has a '/// <reference no-default-lib="true"/>',
                     // then we should treat that file as a default lib.
-                    if (compilerOptions.noLib && node.hasNoDefaultLib) {
+                    if (node.hasNoDefaultLib) {
                         return;
                     }
                 }
diff --git a/src/compiler/program.ts b/src/compiler/program.ts
index 4822a86b527..a4fce102c67 100644
--- a/src/compiler/program.ts
+++ b/src/compiler/program.ts
@@ -835,7 +835,6 @@ namespace ts {
                 processImportedModules(file, basePath);
 
                 if (isDefaultLib) {
-                    file.isDefaultLib = true;
                     files.unshift(file);
                 }
                 else {
diff --git a/src/compiler/types.ts b/src/compiler/types.ts
index f536a1e4693..d10010bc818 100644
--- a/src/compiler/types.ts
+++ b/src/compiler/types.ts
@@ -1285,7 +1285,6 @@ namespace ts {
         // The first node that causes this file to be an external module
         /* @internal */ externalModuleIndicator: Node;
 
-        /* @internal */ isDefaultLib: boolean;
         /* @internal */ identifiers: Map<string>;
         /* @internal */ nodeCount: number;
         /* @internal */ identifierCount: number;