Change to Elaborate::None inside compute_projection

rust-lang · Aug 25, 2017 · 68fd322 · 68fd322
1 parent 373e909
commit 68fd322
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/librustc/ty/wf.rs b/src/librustc/ty/wf.rs
@@ -198,7 +198,7 @@ impl<'a, 'gcx, 'tcx> WfPredicates<'a, 'gcx, 'tcx> {
         // WF and (b) the trait-ref holds.  (It may also be
         // normalizable and be WF that way.)
         let trait_ref = data.trait_ref(self.infcx.tcx);
-        self.compute_trait_ref(&trait_ref, Elaborate::All);
+        self.compute_trait_ref(&trait_ref, Elaborate::None);
 
         if !data.has_escaping_regions() {
             let predicate = trait_ref.to_predicate();