File tree Expand file tree Collapse file tree 2 files changed +2
-7
lines changed Expand file tree Collapse file tree 2 files changed +2
-7
lines changed Original file line number Diff line number Diff line change @@ -528,7 +528,7 @@ namespace swift {
528
528
// / Enable the new experimental protocol requirement signature minimization
529
529
// / algorithm.
530
530
RequirementMachineMode RequirementMachineProtocolSignatures =
531
- RequirementMachineMode::Verify ;
531
+ RequirementMachineMode::Enabled ;
532
532
533
533
// / Enable the new experimental generic signature minimization algorithm
534
534
// / for abstract generic signatures.
@@ -538,7 +538,7 @@ namespace swift {
538
538
// / Enable the new experimental generic signature minimization algorithm
539
539
// / for user-written generic signatures.
540
540
RequirementMachineMode RequirementMachineInferredSignatures =
541
- RequirementMachineMode::Verify ;
541
+ RequirementMachineMode::Enabled ;
542
542
543
543
// / Enable preprocessing pass to eliminate conformance requirements
544
544
// / on generic parameters which are made concrete. Usually you want this
Original file line number Diff line number Diff line change @@ -473,11 +473,6 @@ function(_compile_swift_files
473
473
endif ()
474
474
endif ()
475
475
476
- # The standard library and overlays are built with the Requirement Machine enabled.
477
- if (SWIFTFILE_IS_STDLIB )
478
- list (APPEND swift_flags "-Xfrontend" "-requirement-machine-inferred-signatures=verify" )
479
- endif ()
480
-
481
476
# The standard library and overlays are built resiliently when SWIFT_STDLIB_STABLE_ABI=On.
482
477
if (SWIFTFILE_IS_STDLIB AND SWIFT_STDLIB_STABLE_ABI )
483
478
list (APPEND swift_flags "-enable-library-evolution" )
You can’t perform that action at this time.
0 commit comments