---

yaml
---
r: 349446
b: refs/heads/master-next
c: 5c23950
h: refs/heads/master

Author: swift-ci

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 3574c513bbc5578dd9346b4ea9ab5995c5927bb5
-refs/heads/master-next: c0098f9a9b6d8dae0a907520b990a135c5bb231b
+refs/heads/master-next: 5c2395098bba38943d43a4a9015c85a927e2a7cc
 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

@@ -36,6 +36,7 @@ void OutliningMetadataCollector::collectTypeMetadataForLayout(SILType type) {
   }
 
   // Substitute opaque types if allowed.
+  auto origType = type;
   type = IGF.IGM.substOpaqueTypesWithUnderlyingTypes(type);
 
   auto formalType = type.getASTType();
@@ -44,7 +45,9 @@ void OutliningMetadataCollector::collectTypeMetadataForLayout(SILType type) {
   // We don't need the metadata for fixed size types or types that are not ABI
   // accessible. Outlining will call the value witness of the enclosing type of
   // non ABI accessible field/element types.
-  if (isa<FixedTypeInfo>(ti) || !ti.isABIAccessible()) {
+  if ((!origType.getASTType()->hasOpaqueArchetype() &&
+       isa<FixedTypeInfo>(ti)) ||
+      !ti.isABIAccessible()) {
     return;
   }
 

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

@@ -24,6 +24,43 @@ public func usePair<T, V>(_ t: T, _ v: V) {
   print(p)
 }
 
+protocol P { }
+
+struct C<S : Hashable> {
+    struct Inner {}
+
+    init(_ s: S) { }
+
+    func getInner() -> Inner {
+      return Inner()
+    }
+}
+
+struct O<T> {
+  var t: T
+
+  init(_ t: T) {
+    self.t = t
+  }
+}
+
+struct M<T, V> : P {
+  init(_ f: T, _ s: V) {
+  }
+
+  func foobar() -> some P {
+    return self
+  }
+}
+
+public func test2<S : Hashable, T, V>(_ s: S, _ t: T, _ v: V) {
+  var x = M(C(s).getInner(), t)
+  let q = x.foobar()
+  let u = x.foobar()
+  let y = O(q)
+  print(y)
+}
+
 // 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