---

yaml
---
r: 12128
b: refs/heads/master
c: b86c603
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: d877ebdd056de76cd98dbe6c7668f26a4a2cbd1c
+refs/heads/master: b86c603bdf0b13383891ce1a49c28428b4826ec4
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/rustc/middle/infer.rs

@@ -879,7 +879,7 @@ impl resolve_methods for infer_ctxt {
 //
 // There are two type combiners, lub and gub.  The first computes the
 // Least Upper Bound of two types `a` and `b`---that is, a mutual
-// supertype type `c` where `a <: c` and `a <: c`.  As the name
+// supertype type `c` where `a <: c` and `b <: c`.  As the name
 // implies, it tries to pick the most precise `c` possible.  `glb`
 // computes the greatest lower bound---that is, it computes a mutual
 // subtype, aiming for the most general such type possible.  Both