Fix panic with outlives in existential type

dlrobertson · dlrobertson · commit a0fec9488ed6 · 2018-11-30T02:04:10.000Z
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
@@ -969,7 +969,7 @@ impl<'a, 'tcx> TypeVisitor<'tcx> for TypePrivacyVisitor<'a, 'tcx> {
                             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 {

Original file line number	Diff line number	Diff line change
`@@ -969,7 +969,7 @@ impl<'a, 'tcx> TypeVisitor<'tcx> for TypePrivacyVisitor<'a, 'tcx> {`
`969`	`969`	`Some(poly_projection_predicate.skip_binder()`
`970`	`970`	`.projection_ty.trait_ref(self.tcx))`
`971`	`971`	`}`
`972`		`- ty::Predicate::TypeOutlives(..) => None,`
	`972`	`+ ty::Predicate::TypeOutlives(..) \| ty::Predicate::RegionOutlives(..) => None,`
`973`	`973`	`_ => bug!("unexpected predicate: {:?}", predicate),`
`974`	`974`	`};`
`975`	`975`	`if let Some(trait_ref) = trait_ref {`