Add HAS_RE_LATE_BOUND if there are bound vars

rust-lang · bors · Apr 30, 2021 · Apr 22, 2021 · Apr 26, 2021 · Apr 27, 2021
commit 31ae3b2bdb9376b749fc1d64b531e86806e03c73
diff --git a/compiler/rustc_middle/src/ty/flags.rs b/compiler/rustc_middle/src/ty/flags.rs
@@ -59,6 59,10 @@ impl FlagComputation {
  {
  let mut computation = FlagComputation::new();
 
  if !value.bound_vars().is_empty() {
  computation.flags = computation.flags | TypeFlags::HAS_RE_LATE_BOUND;
  }
 
  f(&mut computation, value.skip_binder());
 
  self.add_flags(computation.flags);

diff --git a/src/test/ui/lifetimes/issue-83737-erasing-bound-vars.rs b/src/test/ui/lifetimes/issue-83737-erasing-bound-vars.rs
@@ -0,0 1,14 @@
 // build-pass
 // compile-flags: --edition 2018
 // compile-flags: --crate-type rlib
 
 use std::future::Future;
 
 async fn handle<F>(slf: &F)
 where
  F: Fn(&()) -> Box<dyn for<'a> Future<Output = ()> Unpin>,
 {
  (slf)(&()).await;
 }
 
 fn main() {}
diff --git a/src/test/ui/lifetimes/issue-84604.rs b/src/test/ui/lifetimes/issue-84604.rs
@@ -0,0 1,9 @@
 // run-pass
 // compile-flags: -Zsymbol-mangling-version=v0
 
 pub fn f<T: ?Sized>() {}
 pub trait Frob<T: ?Sized> {}
 fn main() {
  f::<dyn Frob<str>>();
  f::<dyn for<'a> Frob<str>>();
 }