---

yaml
---
r: 219319
b: refs/heads/snap-stage3
c: 957935a
h: refs/heads/master
i:
  219317: ea3343e
  219315: 82ea72e
  219311: ce0a510
v: v3

Author: nikomatsakis

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: c044791d80ea0dc5c4b57b6030a67b69f8510239
-refs/heads/snap-stage3: 13cee1e1987936514266861a4afa231d7224ad93
+refs/heads/snap-stage3: 957935a002aa88adb0f1288a84a0933d06cc297d
 refs/heads/try: b53c0f93eedcdedd4fd89bccc5a3a09d1c5cd23e
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596

branches/snap-stage3/src/librustc/middle/ty.rs

@@ -755,7 +755,8 @@ pub struct ctxt<'tcx> {
 
     /// A set of predicates that have been fulfilled *somewhere*.
     /// This is used to avoid duplicate work. Predicates are only
-    /// added to this set when they
+    /// added to this set when they mention only "global" names
+    /// (i.e., no type or lifetime parameters).
     pub fulfilled_predicates: RefCell<traits::FulfilledPredicates<'tcx>>,
 
     /// Caches the representation hints for struct definitions.
@@ -823,7 +824,7 @@ bitflags! {
 
         // true if there are "names" of types and regions and so forth
         // that are local to a particular fn
-        const HAS_LOCAL_NAMES   = 1 << 8,
+        const HAS_LOCAL_NAMES   = 1 << 9,
 
         const NEEDS_SUBST        = TypeFlags::HAS_PARAMS.bits |
                                    TypeFlags::HAS_SELF.bits |