---

yaml
---
r: 349439
b: refs/heads/master-next
c: b025c30
h: refs/heads/master
i:
  349437: 0bae2a4
  349435: 3895644
  349431: 2390852
  349423: 5c42fe5
  349407: e23d442
  349375: 077951a
  349311: a906671
  349183: 6bc6df8

Author: swift-ci

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 3574c513bbc5578dd9346b4ea9ab5995c5927bb5
-refs/heads/master-next: 37ceae2d22abb41a8af0d2a6d680d76e002d6608
+refs/heads/master-next: b025c3099de503660c74e8d9a19613f84564ee37
 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/IRGenDebugInfo.cpp

@@ -2141,10 +2141,7 @@ void IRGenDebugInfoImpl::emitVariableDeclaration(
     IRBuilder &Builder, ArrayRef<llvm::Value *> Storage, DebugTypeInfo DbgTy,
     const SILDebugScope *DS, ValueDecl *VarDecl, StringRef Name, unsigned ArgNo,
     IndirectionKind Indirection, ArtificialKind Artificial) {
-  // FIXME: Make this an assertion.
-  // assert(DS && "variable has no scope");
-  if (!DS)
-    return;
+  assert(DS && "variable has no scope");
 
   if (Opts.DebugInfoLevel <= IRGenDebugInfoLevel::LineTables)
     return;

branches/master-next/lib/SILOptimizer/Transforms/SpecializeOpaqueArchetypes.cpp

@@ -256,6 +256,21 @@ class OpaqueSpecializerCloner
                                           Inst->isInitializationOfDest()));
   }
 
+  SILValue remapResultType(SILLocation loc, SILValue val) {
+    auto specializedTy = remapType(val->getType());
+    if (val->getType() == specializedTy)
+      return val;
+    return createCast(loc, val, specializedTy);
+  }
+
+  void visitThinToThickFunctionInst(ThinToThickFunctionInst *Inst) {
+    getBuilder().setCurrentDebugScope(getOpScope(Inst->getDebugScope()));
+    auto loc = getOpLocation(Inst->getLoc());
+    auto opd = remapResultType(loc, getOpValue(Inst->getOperand()));
+    recordClonedInstruction(Inst, getBuilder().createThinToThickFunction(
+                                      loc, opd, getOpType(Inst->getType())));
+  }
+
   void visitStoreInst(StoreInst *Inst) {
     auto src = getOpValue(Inst->getSrc());
     auto dst = getOpValue(Inst->getDest());

branches/master-next/test/SILOptimizer/specialize_opaque_type_archetypes.swift

@@ -539,3 +539,10 @@ struct Test : RandomAccessCollection {
         return foos[i.offset].p
     }
 }
+
+@inline(never)
+func useAbstractFunction<T: P>(_ fn: (Int64) -> T) {}
+
+public func testThinToThick() {
+  useAbstractFunction(bar)
+}