bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #110272 - Ezrashaw:fix-unconned-lt-in-implbounds, r=aliemjay

Browse source 
fix: skip implied bounds if unconstrained lifetime exists

Fixes #110161

r? ````@aliemjay````
This commit is contained in:
Yuki Okushi 2023-04-16 06:55:21 +09:00 • committed by GitHub
commit 52d23c9253
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 50 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

13
compiler/rustc_trait_selection/src/traits/outlives_bounds.rs
View file

@ -55,7 +55,18 @@ impl<'a, 'tcx: 'a> InferCtxtExt<'a, 'tcx> for InferCtxt<'tcx> {
) -> Vec<OutlivesBound<'tcx>> {
let ty = self.resolve_vars_if_possible(ty);
let ty = OpportunisticRegionResolver::new(self).fold_ty(ty);
assert!(!ty.needs_infer());
// We do not expect existential variables in implied bounds.
// We may however encounter unconstrained lifetime variables in invalid
// code. See #110161 for context.
assert!(!ty.has_non_region_infer());
if ty.needs_infer() {
self.tcx.sess.delay_span_bug(
self.tcx.def_span(body_id),
"skipped implied_outlives_bounds due to unconstrained lifetimes",
);
return vec![];
}
let span = self.tcx.def_span(body_id);
let result = param_env