Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions include/swift/Basic/LangOptions.h
Original file line number Diff line number Diff line change
Expand Up @@ -528,7 +528,7 @@ namespace swift {
/// Enable the new experimental protocol requirement signature minimization
/// algorithm.
RequirementMachineMode RequirementMachineProtocolSignatures =
RequirementMachineMode::Verify;
RequirementMachineMode::Enabled;

/// Enable the new experimental generic signature minimization algorithm
/// for abstract generic signatures.
Expand All @@ -538,7 +538,7 @@ namespace swift {
/// Enable the new experimental generic signature minimization algorithm
/// for user-written generic signatures.
RequirementMachineMode RequirementMachineInferredSignatures =
RequirementMachineMode::Verify;
RequirementMachineMode::Enabled;

/// Enable preprocessing pass to eliminate conformance requirements
/// on generic parameters which are made concrete. Usually you want this
Expand Down
5 changes: 0 additions & 5 deletions stdlib/cmake/modules/SwiftSource.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -469,11 +469,6 @@ function(_compile_swift_files
endif()
endif()

# The standard library and overlays are built with the Requirement Machine enabled.
if(SWIFTFILE_IS_STDLIB)
list(APPEND swift_flags "-Xfrontend" "-requirement-machine-inferred-signatures=verify")
endif()

# The standard library and overlays are built resiliently when SWIFT_STDLIB_STABLE_ABI=On.
if(SWIFTFILE_IS_STDLIB AND SWIFT_STDLIB_STABLE_ABI)
list(APPEND swift_flags "-enable-library-evolution")
Expand Down