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.
This commit is contained in:
parent
400c2bc5ed
commit
a0fec9488e
@ -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 {
|
||||
|
Loading…
x
Reference in New Issue
Block a user