Implement default method inheritance.

[rust.git] / src / librustc / middle / traits / coherence.rs

diff --git a/src/librustc/middle/traits/coherence.rs b/src/librustc/middle/traits/coherence.rs
index 00c72d0b48ab051f236cf01141f2edc001134b57..33a1e3816e348ce204d563190bab20ffcf494c90 100644 (file)
--- a/src/librustc/middle/traits/coherence.rs
+++ b/src/librustc/middle/traits/coherence.rs
@@ -85,10 +85,7 @@ fn overlap<'cx, 'tcx>(selcx: &mut SelectionContext<'cx, 'tcx>,
         return None
     }
 
-    let substituted = selcx.infcx().resolve_type_vars_if_possible(&a_impl_header);
-    let freshened = selcx.infcx().freshen(substituted);
-
-    Some(freshened)
+    Some(selcx.infcx().resolve_type_vars_if_possible(&a_impl_header))
 }
 
 pub fn trait_ref_is_knowable<'tcx>(tcx: &TyCtxt<'tcx>, trait_ref: &ty::TraitRef<'tcx>) -> bool