swift
Get the standard library to build with -enable-experimental-associated-type-inference
#70311
Merged
Merged
Get the standard library to build with -enable-experimental-associated-type-inference #70311
slavapestov
merged
15 commits into
swiftlang:main
from
slavapestov:type-witness-system-inference-stdlib
AST: Pass SubstOptions to DependentMemberType::substBaseType()
5dd8307e
Sema: Fix unsound transformation of generic parameter types in inferA…
312dfcd0
Sema: More debug output from associated type inference
9dadbc0f
Sema: Pass down tentative type witnesses in inferAbstractTypeWitnesses()
acb0e9af
Sema: Pass down tentative type witnesses in substCurrentTypeWitnesses()
af070cbf
Sema: Add a test that passes with -enable-experimental-associated-typ…
62545881
Sema: Add a test for an older failure with -enable-experimental-assoc…
569a73ee
Add regression tests for rdar://116434843 and #59772
b1ed3c27
AST: Lazily populate associated conformances with -enable-experimenta…
e29c3a90
Sema: Add another test that passes with -enable-experimental-associat…
d5bf5e33
Frontend: Add -disable-experimental-associated-type-inference flag
335d6ffe
Sema: Try harder to avoid tautological inference by looking at reduce…
99aa0638
Sema: Prefer generic parameters over defaults and same-type requireme…
d0bd0260
Sema: Open-code mapTypeOutOfContext() on weird types
07168d7e
Always build the stdlib with -enable-experimental-associated-type-inf…
4bf0cc24
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub