[embedded] Feature::EmbeddedExistentials requires Feature::Embedded

This commit is contained in:
Arnold Schwaighofer
2025-12-09 09:13:49 -08:00
parent d06929ccd2
commit 4d879967a7
17 changed files with 73 additions and 47 deletions

View File

@@ -1838,6 +1838,11 @@ static bool ParseLangArgs(LangOptions &Opts, ArgList &Args,
}
Opts.BypassResilienceChecks |= Args.hasArg(OPT_bypass_resilience);
if (Opts.hasFeature(Feature::EmbeddedExistentials) &&
!Opts.hasFeature(Feature::Embedded)) {
Diags.diagnose(SourceLoc(), diag::embedded_existentials_without_embedded);
HadError = true;
}
if (Opts.hasFeature(Feature::Embedded)) {
Opts.UnavailableDeclOptimizationMode = UnavailableDeclOptimization::Complete;
Opts.DisableImplicitStringProcessingModuleImport = true;