nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-23 07:14:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

lower-generic vs. outlive

Browse Source
This commit is contained in:
lcnr 2022-06-27 16:06:46 +02:00
parent 70497d9d10
commit 28fafc45e6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_infer/src/infer/outlives/verify.rs
View File

@ -268,8 +268,8 @@ impl<'cx, 'tcx> VerifyBoundCx<'cx, 'tcx> {
// fn foo<'a, A>(x: &'a A) { x.bar() } // fn foo<'a, A>(x: &'a A) { x.bar() }
// //
// The problem is that the type of `x` is `&'a A`. To be // The problem is that the type of `x` is `&'a A`. To be
// well-formed, then, A must be lower-generic by `'a`, but we // well-formed, then, A must outlive `'a`, but we don't know that
// don't know that this holds from first principles. // this holds from first principles.
let from_region_bound_pairs = self.region_bound_pairs.iter().filter_map(|&(r, p)| { let from_region_bound_pairs = self.region_bound_pairs.iter().filter_map(|&(r, p)| {
debug!( debug!(
"declared_generic_bounds_from_env_for_erased_ty: region_bound_pair = {:?}", "declared_generic_bounds_from_env_for_erased_ty: region_bound_pair = {:?}",