Merge main 2022-04-01 #4398
Merged
Merge main 2022-04-01 #4398
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[distributed] Require explicit assignment of `actorSystem`
Add the length of the longest *initial* rule to the rule length limit before comparing. Fixes https://bugs.swift.org/browse/SR-16024.
…ct type witnesses" This reverts commit 98567e8.
… inference enabled
if there is a non-null callee. Otherwise, getParameterList(callee) will crash if the callee is a closure. Closures can't have default arguments anyway, so there's no need to attempt this new inference.
…expr-solver-based [CodeCompletion] Migrate AfterPoundExprCompletion to solver-based
is no parameter list for the callee. This can happen when the callee is a closure that has been assigned to a variable.
[Demangler] Make Node::addChild(NULL, ...) always assert.
[Distributed] Fix generic actors and distributed funcs returning those generics
…stem-flagged TypeWitnessSystem: Disable by default
The release-devirtualizer must not run on the same alloc_ref twice. This is a very rare case, but if it happens it's a very bad thing, because it results in a double-free crash. The fix is to detect that a dealloc_ref instruction (although it isn't "releasing"), does a memory deallocation. Found by doing some unrelated experiments.
[Distributed] Review followups, cleanups
…euristic RequirementMachine: Tweak rule limit non-termination heuristic
…ference-cycle RequirementMachine: Fix subtle bug in isRecursivelyConstructingRequirementMachine()
using `.. code-block:: swift` instead of `::` we can turn code into more prettier and legible form!
…lays [SourceKit] Make sure to use overlays when reading files
[Concurrency] Improve diagnostic for inout params with Sendable closures
Some of the functions inside the SWIFT_STDLIB_HAS_TYPE_PRINTING conditional are now needed even in the minimal build as a result of swiftlang#41452. rdar://90839754
…mpilermodules-rdar90236990 [SourceKit] Link SwiftCompilerModules to SourceKit
SILGen: Emit async let entry points at correct abstraction level.
[SE-0345] Support `if let foo {` optional binding conditions
As the _MatchingEngine module no longer contains the matching engine, this patch renames this module to describe its role more accurately. Because this module primarily contains the AST and the regex parsing logic, I propose we rename it to "_RegexParser". Also renames the ExperimentalRegex module in SwiftCompilerSources to _RegexParser for consistency. This would prevent errors if sources in _RegexParser used qualified lookup with the module name.
Frontend: flip the default of whether importing SPI_AVAILABLE from clang
... because marker protocols have no witness tables. Fixes rdar://91011153.
Add SE-0345 to CHANGELOG.md
…ncy`. Fixes rdar://91087622.
- Don't pass 'verify' since it's now the default - Update tests where diagnostics changed in a correct way to pass 'on' instead - Delete compiler_scale/explicit_requirements_perf.swift since it's not testing anything with the requirement machine
…r-protocol An `@objc` protocol can inherit from a marker protocol
swiftlang#42094 added a new `IRGenOptions::CompactAbsoluteFunctionPointer` field, but did not initialize it. We subsequently started seeing flaky test failures in LLDB tests that tried to resolve relocations in metadata, so we think this may have resulted in the option sometimes being set to `true` in the REPL.
…ures Another important step towards implementing SE-0338 semantics. Fixes rdar://90950355.
…type-preconcurrency Fix the "early" computation of a return type to respect `@preconcurrency`
Import swift_attr(“@sendable”) for result types
Fix uninitialized IRGenOptions field
…for-diagnostics Update -requirement-machine-* flags in various tests
rdar://91132726 rdar://91133163
…ated-sendable-closure-capture Don't diagnose non-Sendable captures in actor-isolated @sendable closures
…ark-executable [Test] Added REQUIRES line to two.
…atures-enable LangOptions: Change default for RequirementMachineAbstractSignatures from Verify to Enabled
[Gardening] typo "teh" → "the"
MaxDesiatov
approved these changes
Apr 1, 2022
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.