Merge pull request #36888 from slavapestov/opaque-result-type-with-tuple

SIL: A tuple type can be lowered with an opaque result type as the original type

Author: slavapestov

lib/SIL/IR/AbstractionPattern.cpp

@@ -317,7 +317,7 @@ bool AbstractionPattern::matchesTuple(CanTupleType substType) {
   case Kind::ClangType:
   case Kind::Type:
   case Kind::Discard: {
-    if (isTypeParameter())
+    if (isTypeParameterOrOpaqueArchetype())
       return true;
     auto type = getType();
     if (auto tuple = dyn_cast<TupleType>(type))

validation-test/compiler_crashers_2_fixed/sr14426.swift

@@ -0,0 +1,9 @@
+// RUN: %target-swift-frontend -emit-ir %s -disable-availability-checking
+
+public struct MyList: Sequence {
+  var _list: [(Int, Int)]
+  
+  public func makeIterator() -> some IteratorProtocol {
+    return _list.makeIterator()
+  }
+}