[5.1] Opaque types prototype #22965
jckarter
merged
16 commits into
swiftlang:swift-5.1-branch
from
jckarter:opaque-type-ast-5.1
Give opened archetypes a generic environment.
c4e501b9
Serialization: Rework serialization of nested archetypes.
342575d3
Parse opaque types.
8a0154e7
AST: Represent OpaqueTypeDecls.
b31eca01
Add an OpaqueTypeArchetypeType subclass.
26e6e7eb
Sema: Infer the underlying type for opaque return types from function…
a59f67a4
SILGen: Substitute away opaque types.
d8179861
Support nested types on opaque archetypes (and maybe opened ones).
7c5b4dd5
Serialization: Serialize opaque types and their decls.
d731d37d
IRGen: Substitute out opaque types when emitting associated types.
83fbc622
Enable opaque result types.
a1b7f293
Respond to Slava's feedback
0fdad002
Mangle opaque types without underlying types as ErrorType for now.
95d1a07e
Remove ResilienceExpansion from substOpaqueTypes for now.
f1fcb1f2
Sema: Don't allow properties with inferred types to infer opaque resu…
51f27a91
Add test for deserializing opaque types across modules
32f75fd7
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub