From: Dan Robertson <dan@dlrobertson.com>
Date: Fri, 30 Nov 2018 02:04:10 +0000 (+0000)
Subject: Fix panic with outlives in existential type
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=a0fec9488ed6f1d7b751f7e45b9919f908b560a1;p=rust.git

Fix panic with outlives in existential type

Don't panic in determining the privacy of a type if a lifetime outlives
generic exists in an existential type.
---

diff --git a/src/librustc_privacy/lib.rs b/src/librustc_privacy/lib.rs
index fbd6f6edd31..6d9abbf5af2 100644
--- a/src/librustc_privacy/lib.rs
+++ b/src/librustc_privacy/lib.rs
@@ -969,7 +969,7 @@ fn visit_ty(&mut self, ty: Ty<'tcx>) -> bool {
                             Some(poly_projection_predicate.skip_binder()
                                                           .projection_ty.trait_ref(self.tcx))
                         }
-                        ty::Predicate::TypeOutlives(..) => None,
+                        ty::Predicate::TypeOutlives(..) | ty::Predicate::RegionOutlives(..) => None,
                         _ => bug!("unexpected predicate: {:?}", predicate),
                     };
                     if let Some(trait_ref) = trait_ref {