Gate plugins on CLI flag

Author: jakebailey

src/compiler/commandLineParser.ts

@@ -500,6 +500,15 @@ export const commonOptionsWithBuild: CommandLineOption[] = [
         description: Diagnostics.Set_the_language_of_the_messaging_from_TypeScript_This_does_not_affect_emit,
         defaultValueDescription: Diagnostics.Platform_specific
     },
+    {
+        name: "allowPlugins",
+        type: "boolean",
+        affectsSemanticDiagnostics: true,
+        affectsEmit: true,
+        affectsBuildInfo: true,
+        defaultValueDescription: undefined,
+        isCommandLineOnly: true,
+    },
 ];
 
 /** @internal */

src/compiler/diagnosticMessages.json

@@ -6232,6 +6232,10 @@
       "category": "Error",
       "code": 6931
     },
+    "Option '--allowPlugins' must be specified when compiler plugins are present.": {
+        "category": "Error",
+        "code": 6932
+    },
 
     "Variable '{0}' implicitly has an '{1}' type.": {
         "category": "Error",

src/compiler/pluginUtilities.ts

@@ -1,3 +1,5 @@
+import type { CompilerOptions } from "./types";
+
 /** @internal */
 export type Entrypoint = "tsc" | "typescript" | "tsserver" | "tsserverlibrary" | "testRunner";
 
@@ -16,3 +18,14 @@ export function getTypeScriptNamespace(): any {
     if (currentTsNamespace === undefined) throw new Error("ts namespace unset");
     return currentTsNamespace;
 }
+
+/** @internal */
+export function shouldAllowPlugins(options: CompilerOptions): boolean {
+    switch (currentEntrypoint) {
+        case "tsserver":
+        case "tsserverlibrary":
+        case "typescript":
+            return true;
+    }
+    return options.allowPlugins ?? false;
+}

src/compiler/program.ts

@@ -293,6 +293,7 @@ import {
     setParentRecursive,
     setResolvedModule,
     setResolvedTypeReferenceDirective,
+    shouldAllowPlugins,
     shouldResolveJsRequire,
     skipTrivia,
     skipTypeChecking,
@@ -2680,6 +2681,10 @@ export function createProgram(rootNamesOrOptions: readonly string[] | CreateProg
         }
 
         const compilerOptions = program.getCompilerOptions();
+        if (!shouldAllowPlugins(compilerOptions)) {
+            return emptyArray;
+        }
+
         const customTransformers = mapDefined(compilerOptions.plugins, config => {
             if (config.type !== "transformer") return undefined;
 
@@ -4412,6 +4417,14 @@ export function createProgram(rootNamesOrOptions: readonly string[] | CreateProg
             });
         }
 
+        if (options.plugins && !shouldAllowPlugins(options)) {
+            for (const plugin of options.plugins) {
+                if (plugin.type === undefined) continue; // Language service plugins. TODO(jakebailey): give these a type, require type, deprecate missing type?
+                programDiagnostics.add(createCompilerDiagnostic(Diagnostics.Option_allowPlugins_must_be_specified_when_compiler_plugins_are_present));
+                break;
+            }
+        }
+
         // Verify that all the emit files are unique and don't overwrite input files
         function verifyEmitFilePath(emitFileName: string | undefined, emitFilesSeen: Set<string>) {
             if (emitFileName) {

src/compiler/tsbuildPublic.ts

@@ -162,6 +162,7 @@ export interface BuildOptions {
     /** @internal */ locale?: string;
     /** @internal */ generateCpuProfile?: string;
     /** @internal */ generateTrace?: string;
+    allowPlugins?: boolean;
 
     [option: string]: CompilerOptionsValue | undefined;
 }

src/compiler/types.ts

@@ -7219,6 +7219,7 @@ export interface CompilerOptions {
     /** @internal */ showConfig?: boolean;
     useDefineForClassFields?: boolean;
     customTransformers?: string[];
+    allowPlugins?: boolean;
 
     [option: string]: CompilerOptionsValue | TsConfigSourceFile | undefined;
 }