---

yaml
---
r: 349424
b: refs/heads/master-next
c: 4722e1e
h: refs/heads/master

Author: swift-ci

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 3574c513bbc5578dd9346b4ea9ab5995c5927bb5
-refs/heads/master-next: e1838a334b5a6a54874c9db7fd54cac036f864fd
+refs/heads/master-next: 4722e1e918588f074ecb52c05c90884f3a7b915a
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-b: 66d897bfcf64a82cb9a87f5e663d889189d06d07

branches/master-next/lib/IRGen/Outlining.cpp

@@ -35,6 +35,9 @@ void OutliningMetadataCollector::collectTypeMetadataForLayout(SILType type) {
     return;
   }
 
+  // Substitute opaque types if allowed.
+  type = IGF.IGM.substOpaqueTypesWithUnderlyingTypes(type);
+
   auto formalType = type.getASTType();
   auto &ti = IGF.IGM.getTypeInfoForLowered(formalType);
 

branches/master-next/test/IRGen/opaque_result_type_substitution.swift

@@ -0,0 +1,32 @@
+// RUN: %target-swift-frontend -disable-availability-checking -emit-ir %s | %FileCheck %s
+
+protocol E {}
+
+struct Pair<T, V> : E {
+  var fst : T
+  var snd : V
+
+  init(_ f: T, _ s: V) {
+    self.fst = f
+    self.snd = s
+  }
+
+  func foobar() -> some E {
+    return self
+  }
+}
+
+public func usePair<T, V>(_ t: T, _ v: V) {
+  var x = Pair(t, v)
+  let q = x.foobar()
+  let u = x.foobar()
+  let p = Pair(q, u)
+  print(p)
+}
+
+// CHECK-LABEL: define{{.*}} swiftcc void @"$s31opaque_result_type_substitution7usePairyyx_q_tr0_lF"({{.*}}, %swift.type* %T, %swift.type* %V)
+// CHECK:  [[PAIR_TV:%.*]] = call swiftcc %swift.metadata_response @"$s31opaque_result_type_substitution4PairVMa"({{.*}}, %swift.type* %T, %swift.type* %V)
+// CHECK:  [[MD:%.*]] = extractvalue %swift.metadata_response [[PAIR_TV]], 0
+// CHECK:  [[PAIR_OPAQUE:%.*]] = call swiftcc %swift.metadata_response @"$s31opaque_result_type_substitution4PairVMa"({{.*}}, %swift.type* [[MD]], %swift.type* [[MD]])
+// CHECK:  [[MD2:%.*]] = extractvalue %swift.metadata_response [[PAIR_OPAQUE]], 0
+// CHECK:  call {{.*}}* @"$s31opaque_result_type_substitution4PairVyAC6foobarQryFQOyxq__Qo_AEGr0_lWOh"({{.*}}, %swift.type* {{.*}}, %swift.type* [[MD2]])