Merge pull request swiftlang#8243 from swiftix/wip-partial-specialization-v8

Implement partial specialization which supports generic substitutions

Author: swiftix

include/swift/SILOptimizer/Utils/Generics.h

@@ -197,6 +197,10 @@ class ReabstractionInfo {
     return SpecializedGenericEnv;
   }
 
+  GenericSignature *getSpecializedGenericSignature() const {
+    return SpecializedGenericSig;
+  }
+
   SubstitutionList getCallerParamSubstitutions() const {
     return CallerParamSubs;
   }
@@ -236,6 +240,8 @@ class ReabstractionInfo {
   /// Returns true if a given apply can be specialized.
   static bool canBeSpecialized(ApplySite Apply, SILFunction *Callee,
                                SubstitutionList ParamSubs);
+
+  void verify() const;
 };
 
 /// Helper class for specializing a generic function given a list of