---

yaml
---
r: 349482
b: refs/heads/master-next
c: 80c48bf
h: refs/heads/master

Author: swift-ci

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 3574c513bbc5578dd9346b4ea9ab5995c5927bb5
-refs/heads/master-next: 7c60b58c976a76855a5b9fccc534b80a833cdf0a
+refs/heads/master-next: 80c48bfe24507c98083c0e49433325ae8250ca19
 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/SILOptimizer/Mandatory/SemanticARCOpts.cpp

@@ -100,10 +100,13 @@ static bool isConsumed(
       return true;
     }
     case UseLifetimeConstraint::MustBeLive:
-      // Ok, this constraint can take something owned as live. Lets
-      // see if it can also take something that is guaranteed. If it
-      // can not, then we bail.
-      map.canAcceptKind(ValueOwnershipKind::Guaranteed);
+      // Ok, this constraint can take something owned as live. Assert that it
+      // can also accept something that is guaranteed. Any non-consuming use of
+      // an owned value should be able to take a guaranteed parameter as well
+      // (modulo bugs). We assert to catch these.
+      assert(map.canAcceptKind(ValueOwnershipKind::Guaranteed) &&
+             "Any non-consuming use of an owned value should be able to take a "
+             "guaranteed value");
       continue;
     }
   }