Remove unused

src/server/editorServices.ts

@@ -416,7 +416,7 @@ namespace ts.server {
                 // it is not likely to affect the project for other files opened by the client. We can
                 // just update the current project.
 
-                this.logger.info('Updating configured project');
+                this.logger.info("Updating configured project");
                 this.updateConfiguredProject(project);
 
                 // Call refreshInferredProjects to clean up inferred projects we may have

src/server/utilities.ts

@@ -216,10 +216,6 @@ namespace ts.server {
          * true if config file explicitly listed files
          **/
         configHasFilesProperty?: boolean;
-        /**
-         * true if config file explicitly listed type names
-         **/
-        configHasTypesProperty?: boolean;
         /**
          * these fields can be present in the project file
          **/