Commits swiftlang/swift

RequirementMachine: Move some code out of RuleBuilder and into RequirementSignatureRequest

slavapestov committed 3 years ago

4446f2af

RequirementMachine: Refactor shouldSplitConcreteEquivalenceClasses() and splitConcreteEquivalenceClasses() a bit

slavapestov committed 3 years ago

466d6a94

RequirementMachine: splitConcreteEquivalenceClass() uses getConcreteType() instead of getCanonicalTypeInContext()

slavapestov committed 3 years ago

11b45ca2

RequirementMachine: Move some code around in RequirementMachineRequests.cpp

slavapestov committed 3 years ago

24b66242

RequirementMachine: Allow query operations to be invoked on requirement machine instances for fresh signatures

slavapestov committed 3 years ago

bf779d31

RequirementMachine: Add upper bound on number of attempts at splitting concrete equivalence classes

slavapestov committed 3 years ago

9ccdd15d

RequirementMachine: Preserve sugar when splitting concrete equivalence classes

slavapestov committed 3 years ago

40694341

Sema: Don't verify protocol requirement signatures if there was an error

slavapestov committed 3 years ago

b373bd62

Fix a minor (1 per process) leak in AccessEnforcementSelection

atrick committed 3 years ago

1c07c50c

Merge pull request #41944 from gottesmm/add_initial_dominance_impl

gottesmm committed 3 years ago

Verified 1e2b94ec

Merge pull request #41930 from hamishknight/quoted-in-context

hamishknight committed 3 years ago

Verified e5e60a51

Merge pull request #41917 from ahoppen/pr/filter-overloads-if-no-cc-token

ahoppen committed 3 years ago

Verified 1ef2c597

[CodeCompletion] Filter overloads if their function application doesn't contain the code completion token

ahoppen committed 3 years ago

045302b4

Merge pull request #41885 from ahoppen/pr/refactor-solver-completion

ahoppen committed 3 years ago

Verified 2697e96e

Merge pull request #41557 from atrick/addrlower-update

atrick committed 3 years ago

Verified 406aa86d

Merge pull request #41927 from rxwei/string-processing-integration-50ec05d

rxwei committed 3 years ago

Verified 2c5f0199

Merge pull request #41935 from slavapestov/rqm-concrete-contraction-unrelated-alias

slavapestov committed 3 years ago

Verified ac7efc1d

Merge pull request #41894 from apple/egorzhdan/cxx-decltype-crash

zoecarver committed 3 years ago

Verified 687beace

Merge pull request #41937 from Azoy/something-here

Azoy committed 3 years ago

Verified 9b9888c7

Merge pull request #41933 from etcwilde/ewilde/concurrency-reland-runasyncmain-cleanups

etcwilde committed 3 years ago

Verified 90b279bc

Merge pull request #41934 from bnbarham/add-empty-abi-feature

bnbarham committed 3 years ago

Verified 5afa1b10

Merge pull request #41928 from hyp/i/ref-ptm

hyp committed 3 years ago

Verified e5bd9daa

[CodeCompletion] Make sawSolution non-final and override sawSolutionImpl from subclasses

ahoppen committed 3 years ago

35976529

Merge pull request #41936 from slavapestov/rqm-preserve-sugar-fix

slavapestov committed 3 years ago

Verified b07b7004

Frontend: By default, assume `-target-min-inlining-version min` for modules compiled with `-library-level api` to catch availability issues in API swiftinterfaces.

tshortli committed 3 years ago

81fc0aed

[Diagnostics] Fix out-of-bounds index while fixing argument mismatch

xedin committed 3 years ago

b6c2b3ed

Merge pull request #41938 from slavapestov/rqm-linux-compile-fix

gottesmm committed 3 years ago

Verified 5fbd9b42

[move-function] Propagate debug_value undef rather than treat it as an invalidation.

gottesmm committed 3 years ago

50a0b915

[move-function] Update a test now that I have merged in the better debug info salvaging while coroutine splitting into LLVM.

gottesmm committed 3 years ago

7091c87f

[move-function-addr] Fix a subtle bug where we were not inserting debug info in the case of vars.

gottesmm committed 3 years ago

9da5a4b9