---

yaml
---
r: 180223
b: refs/heads/master
c: eec3b43
h: refs/heads/master
i:
  180221: 70aa9e9
  180219: 1644a4a
  180215: 68b6525
  180207: 14666e8
  180191: 1ac0da9
  180159: 69cd23f
  180095: fa33b96
  179967: 50cef83
  179711: b0624f1
  179199: 55f35f6
  178175: c39759e
  176127: dca9038
  172031: fb39452
  163839: 30e8d91
v: v3

Author: nikomatsakis

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 21fb420592bd4ee03e81efe7b2dbd7115e790e3a
+refs/heads/master: eec3b431aa30ab6160dcc93b7bf7f654ba9dc6ea
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: e29f42025513374f1a88404491d1b40386acf994
 refs/heads/try: ccf8fedf1cffcb8f6f3581d53d220039e192fe77

trunk/src/librustc_typeck/check/mod.rs

@@ -3635,7 +3635,8 @@ fn check_expr_with_unifier<'a, 'tcx, F>(fcx: &FnCtxt<'a, 'tcx>,
           let (scheme, predicates) = type_scheme_and_predicates_for_def(fcx, expr.span, defn);
           let mut path = qpath.trait_ref.path.clone();
           path.segments.push(qpath.item_path.clone());
-          instantiate_path(fcx, &path, scheme, &predicates, Some(self_ty), defn, expr.span, expr.id);
+          instantiate_path(fcx, &path, scheme, &predicates, Some(self_ty),
+                           defn, expr.span, expr.id);
 
           // We always require that the type provided as the value for
           // a type parameter outlives the moment of instantiation.