Check if we're a bound struct

Author: Azoy

lib/AST/Type.cpp

@@ -833,6 +833,9 @@ Type TypeBase::getArrayElementType() {
   if (!isArray())
     return Type();
 
+  if (!is<BoundGenericStructType>())
+    return Type();
+
   // Array<T>
   auto boundStruct = castTo<BoundGenericStructType>();
   return boundStruct->getGenericArgs()[0];
@@ -842,6 +845,9 @@ Type TypeBase::getInlineArrayElementType() {
   if (!isInlineArray())
     return Type();
 
+  if (!is<BoundGenericStructType>())
+    return Type();
+
   // InlineArray<n, T>
   auto boundStruct = castTo<BoundGenericStructType>();
   return boundStruct->getGenericArgs()[1];

lib/Sema/CSGen.cpp

@@ -2157,7 +2157,8 @@ namespace {
 
       // If a contextual type exists for this expression, apply it directly.
       if (contextualType &&
-          (contextualType->isArray() || contextualType->isInlineArray())) {
+          (contextualType->getArrayElementType() ||
+           contextualType->getInlineArrayElementType())) {
         // Now that we know we're actually going to use the type, get the
         // version for use in a constraint.
         contextualType = CS.getContextualType(expr, /*forConstraint=*/true);