diff options
| author | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2018-09-28 23:20:16 +0300 |
|---|---|---|
| committer | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2018-10-01 22:44:45 +0300 |
| commit | 9d44e9eb7ce65d1ae13db56c56713de4f4ef95bd (patch) | |
| tree | 8e12dc2f881c063483a0d884e925db0e34645854 | |
| parent | 53a4b3990974ddad56fd37e6b164e57a3993694c (diff) | |
| download | rust-9d44e9eb7ce65d1ae13db56c56713de4f4ef95bd.tar.gz rust-9d44e9eb7ce65d1ae13db56c56713de4f4ef95bd.zip | |
enable using the evaluation cache on predicates with LBRs
There is no reason not to do it.
| -rw-r--r-- | src/librustc/traits/fulfill.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc/traits/fulfill.rs b/src/librustc/traits/fulfill.rs index 8258b54104d..e6bf02cd73e 100644 --- a/src/librustc/traits/fulfill.rs +++ b/src/librustc/traits/fulfill.rs @@ -292,7 +292,7 @@ impl<'a, 'b, 'gcx, 'tcx> ObligationProcessor for FulfillProcessor<'a, 'b, 'gcx, ty::Predicate::Trait(ref data) => { let trait_obligation = obligation.with(data.clone()); - if data.is_global() && !data.has_late_bound_regions() { + if data.is_global() { // no type variables present, can use evaluation for better caching. // FIXME: consider caching errors too. if self.selcx.infcx().predicate_must_hold(&obligation) { |