[Frontend] Remove -disable-solver-shrink option

It's folded into a more general "disable performance hacks" one.
This commit is contained in:
Pavel Yaskevich
2025-06-17 11:11:16 -07:00
parent 00aa22f7b2
commit 833b6b19e9
7 changed files with 4 additions and 14 deletions

View File

@@ -2015,9 +2015,6 @@ static bool ParseTypeCheckerArgs(TypeCheckerOptions &Opts, ArgList &Args,
Opts.DebugForbidTypecheckPrefixes.push_back(A);
}
if (Args.getLastArg(OPT_solver_disable_shrink))
Opts.SolverDisableShrink = true;
if (Args.getLastArg(OPT_solver_disable_splitter))
Opts.SolverDisableSplitter = true;