AST: Add SubstitutionMap::hasOpaqueArchetypes()

Author: slavapestov

include/swift/AST/SubstitutionMap.h

@@ -170,9 +170,13 @@ class SubstitutionMap {
   bool hasArchetypes() const;
 
   /// Query whether any replacement types in the map contain an opened
-  /// existential.
+  /// existential or opened element.
   bool hasLocalArchetypes() const;
 
+  /// Query whether any replacement types in the map contain an opaque
+  /// return type.
+  bool hasOpaqueArchetypes() const;
+
   /// Query whether any replacement types in the map contain dynamic Self.
   bool hasDynamicSelf() const;
 

lib/AST/SubstitutionMap.cpp

@@ -140,6 +140,14 @@ bool SubstitutionMap::hasLocalArchetypes() const {
   return false;
 }
 
+bool SubstitutionMap::hasOpaqueArchetypes() const {
+  for (Type replacementTy : getReplacementTypesBuffer()) {
+    if (replacementTy && replacementTy->hasOpaqueArchetype())
+      return true;
+  }
+  return false;
+}
+
 bool SubstitutionMap::hasDynamicSelf() const {
   for (Type replacementTy : getReplacementTypesBuffer()) {
     if (replacementTy && replacementTy->hasDynamicSelfType())