---

yaml
---
r: 156535
b: refs/heads/master
c: 0c18da5
h: refs/heads/master
i:
  156533: 5b39445
  156531: cc74aa8
  156527: c6ade54
v: v3

Author: veddan

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 0525bb76690232ce1ce2a3918ce031e2058c41dc
+refs/heads/master: 0c18da503ca674eb4cbf8504b52afb2d7c242ae5
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: d44ea720fa9dfe062ef06d0eb49a58d4e7e92344
 refs/heads/try: 6601b0501e31d08d3892a2d5a7d8a57ab120bf75

trunk/src/libcore/intrinsics.rs

@@ -259,7 +259,11 @@ extern "rust-intrinsic" {
     /// Inform the optimizer that a condition is always true.
     /// If the condition is false, the behavior is undefined.
     ///
-    /// No code is generated for this intrisic.
+    /// No code is generated for this intrinsic, but the optimizer will try
+    /// to preserve it (and its condition) between passes, which may interfere
+    /// with optimization of surrounding code and reduce performance. It should
+    /// not be used if the invariant can be discovered by the optimizer on its
+    /// own, or if it does not enable any significant optimizations.
     #[cfg(not(stage0))]
     pub fn assume(b: bool);