We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d877ebd commit b86c603Copy full SHA for b86c603
src/rustc/middle/infer.rs
@@ -879,7 +879,7 @@ impl resolve_methods for infer_ctxt {
879
//
880
// There are two type combiners, lub and gub. The first computes the
881
// Least Upper Bound of two types `a` and `b`---that is, a mutual
882
-// supertype type `c` where `a <: c` and `a <: c`. As the name
+// supertype type `c` where `a <: c` and `b <: c`. As the name
883
// implies, it tries to pick the most precise `c` possible. `glb`
884
// computes the greatest lower bound---that is, it computes a mutual
885
// subtype, aiming for the most general such type possible. Both
0 commit comments