Remove obsolete --toolchain_resolution_override flag.

It was made into a no-op in 2018, probably safe to delete.

PiperOrigin-RevId: 559999045
Change-Id: I24f4e0cbaf7f926fdb112acf6a730e3e7f19b68c

Author: katre

src/main/java/com/google/devtools/build/lib/analysis/PlatformOptions.java

@@ -115,25 +115,6 @@ public static boolean platformIsDefault(Label platform) {
               + "by register_toolchains().")
   public List<String> extraToolchains;
 
-  @Option(
-      name = "toolchain_resolution_override",
-      allowMultiple = true,
-      defaultValue = "null",
-      documentationCategory = OptionDocumentationCategory.UNDOCUMENTED,
-      effectTags = {
-        OptionEffectTag.AFFECTS_OUTPUTS,
-        OptionEffectTag.CHANGES_INPUTS,
-        OptionEffectTag.LOADING_AND_ANALYSIS
-      },
-      deprecationWarning =
-          "toolchain_resolution_override is now a no-op and will be removed in"
-              + " an upcoming release",
-      help =
-          "Override toolchain resolution for a toolchain type with a specific toolchain. "
-              + "Example: --toolchain_resolution_override=@io_bazel_rules_go//:toolchain="
-              + "@io_bazel_rules_go//:linux-arm64-toolchain")
-  public List<String> toolchainResolutionOverrides;
-
   @Option(
       name = "toolchain_resolution_debug",
       defaultValue = "-.*", // By default, exclude everything.
@@ -202,7 +183,6 @@ public PlatformOptions getExec() {
     exec.extraExecutionPlatforms = this.extraExecutionPlatforms;
     exec.extraToolchains = this.extraToolchains;
     exec.toolchainResolutionDebug = this.toolchainResolutionDebug;
-    exec.toolchainResolutionOverrides = this.toolchainResolutionOverrides;
     exec.useToolchainResolutionForJavaRules = this.useToolchainResolutionForJavaRules;
     return exec;
   }