---

yaml
---
r: 151217
b: refs/heads/try2
c: d8a34e7
h: refs/heads/master
i:
  151215: 914dfd5
v: v3

Author: nikomatsakis

[refs]

@@ -5,7 +5,7 @@ refs/heads/snap-stage3: 78a7676898d9f80ab540c6df5d4c9ce35bb50463
 refs/heads/try: 519addf6277dbafccbb4159db4b710c37eaa2ec5
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
-refs/heads/try2: 96dfed2b62c6e84a542f9a170133ec528e2191c2
+refs/heads/try2: d8a34e7d3f3f447ccff0b72fd5fb18a7c78d0cc5
 refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try2/src/librustc/middle/expr_use_visitor.rs

@@ -104,10 +104,10 @@ pub trait Delegate {
 // supplies types from the tree. After type checking is complete, you
 // can just use the tcx as the typer.
 
-pub struct ExprUseVisitor<'d,'t,D,TYPER> {
+pub struct ExprUseVisitor<'d,'t,TYPER> {
     typer: &'t TYPER,
     mc: mc::MemCategorizationContext<'t,TYPER>,
-    delegate: &'d mut D,
+    delegate: &'d mut Delegate,
 }
 
 // If the TYPER results in an error, it's because the type check
@@ -126,10 +126,10 @@ macro_rules! ignore_err(
     )
 )
 
-impl<'d,'t,D:Delegate,TYPER:mc::Typer> ExprUseVisitor<'d,'t,D,TYPER> {
-    pub fn new(delegate: &'d mut D,
+impl<'d,'t,TYPER:mc::Typer> ExprUseVisitor<'d,'t,TYPER> {
+    pub fn new(delegate: &'d mut Delegate,
                typer: &'t TYPER)
-               -> ExprUseVisitor<'d,'t,D,TYPER> {
+               -> ExprUseVisitor<'d,'t,TYPER> {
         ExprUseVisitor { typer: typer,
                          mc: mc::MemCategorizationContext::new(typer),
                          delegate: delegate }
@@ -370,13 +370,10 @@ impl<'d,'t,D:Delegate,TYPER:mc::Typer> ExprUseVisitor<'d,'t,D,TYPER> {
             }
 
             ast::ExprAssignOp(_, lhs, rhs) => {
-                // FIXME(#4712) --- Overloaded operators?
-                //
-                // if !self.walk_overloaded_operator(expr, [lhs, rhs])
-                // {
+                // This will have to change if/when we support
+                // overloaded operators for `+=` and so forth.
                 self.mutate_expr(expr, lhs, WriteAndRead);
                 self.consume_expr(rhs);
-                // }
             }
 
             ast::ExprRepeat(base, count) => {