From 68fd322a957480db16f1ab0af9915056adbe07b1 Mon Sep 17 00:00:00 2001 From: scalexm Date: Fri, 25 Aug 2017 03:57:44 +0200 Subject: [PATCH] Change to `Elaborate::None` inside `compute_projection` --- src/librustc/ty/wf.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/librustc/ty/wf.rs b/src/librustc/ty/wf.rs index 4d5f9e8f51c..6d9e648452f 100644 --- 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();