averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

SILGen: Substitute away opaque types.

Browse Source
This commit is contained in:
Joe Groff
2018-12-21 15:17:43 -08:00
parent f008019bda
commit c771a7e71b
21 changed files with 238 additions and 44 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
include/swift/AST/ProtocolConformanceRef.h
View File

@@ -106,8 +106,14 @@ public:
/// Apply a substitution to the conforming type.
ProtocolConformanceRef subst(Type origType,
TypeSubstitutionFn subs,
LookupConformanceFn conformances) const;
LookupConformanceFn conformances,
SubstOptions options = None) const;
/// Replace opaque types in the conforming type with their underlying types,
/// and resolve opaque conformances to their underlying conformances.
ProtocolConformanceRef substOpaqueTypesWithUnderlyingTypes(Type origType,
ResilienceExpansion expansion) const;
/// Given a dependent type (expressed in terms of this conformance's
/// protocol), follow it from the conforming type.
Type getAssociatedType(Type origType, Type dependentType,