SIL: Add missing SILType::has*Archetype() predicates

Author: slavapestov

include/swift/SIL/SILType.h

@@ -461,7 +461,7 @@ class SILType {
   }
 
   /// Returns true if the referenced type is expressed in terms of one
-  /// or more opened existential types.
+  /// or more opened existential archetypes.
   bool hasOpenedExistential() const {
     return getASTType()->hasOpenedExistential();
   }
@@ -470,6 +470,12 @@ class SILType {
     return getASTType()->canBeClass();
   }
 
+  /// Returns true if the referenced type is expressed in terms of one
+  /// or more element archetypes.
+  bool hasElementArchetype() const {
+    return getASTType()->hasElementArchetype();
+  }
+
   /// Returns true if the referenced type is expressed in terms of one
   /// or more local archetypes.
   bool hasLocalArchetype() const {
@@ -563,9 +569,14 @@ class SILType {
     return false;
   }
 
-  /// True if the type involves any archetypes.
+  /// True if the type involves any primary or local archetypes.
   bool hasArchetype() const { return getASTType()->hasArchetype(); }
 
+  /// True if the type involves any primary archetypes.
+  bool hasPrimaryArchetype() const {
+    return getASTType()->hasPrimaryArchetype();
+  }
+
   /// True if the type involves any opaque archetypes.
   bool hasOpaqueArchetype() const {
     return getASTType()->hasOpaqueArchetype();