Merge remote-tracking branch 'origin/main' into next

This commit is contained in:
swift_jenkins
2020-10-02 12:06:07 -07:00
60 changed files with 631 additions and 2233 deletions

View File

@@ -438,17 +438,9 @@ static bool ParseLangArgs(LangOptions &Opts, ArgList &Args,
Opts.VerifySyntaxTree = true;
}
Opts.EnableTypeFingerprints =
Args.hasFlag(options::OPT_enable_type_fingerprints,
options::OPT_disable_type_fingerprints,
LangOptions().EnableTypeFingerprints);
if (Args.hasArg(OPT_emit_fine_grained_dependency_sourcefile_dot_files))
Opts.EmitFineGrainedDependencySourcefileDotFiles = true;
if (Args.hasArg(OPT_fine_grained_dependency_include_intrafile))
Opts.FineGrainedDependenciesIncludeIntrafileOnes = true;
if (Args.hasArg(OPT_enable_experimental_additive_arithmetic_derivation))
Opts.EnableExperimentalAdditiveArithmeticDerivedConformances = true;