Change to `Elaborate::None` inside `compute_projection`

diff --git a/src/librustc/ty/wf.rs b/src/librustc/ty/wf.rs
index 4d5f9e8f51c78f6c5a83f48da5dda873bcafc967..6d9e648452fd345fb8732a4660892e70fc06c705 100644 (file)
--- a/src/librustc/ty/wf.rs
+++ b/src/librustc/ty/wf.rs
@@ -198,7 +198,7 @@ fn compute_projection(&mut self, data: ty::ProjectionTy<'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();