//@ check-pass

// Check that opaques capturing early and late-bound vars correctly mark
// regions required to be live using the item bounds.

trait Captures<'a> {}
impl<T> Captures<'_> for T {}

fn captures_temp_late<'a>(x: &'a Vec<i32>) -> impl Sized + Captures<'a> + 'static {}
fn captures_temp_early<'a: 'a>(x: &'a Vec<i32>) -> impl Sized + Captures<'a> + 'static {}

fn test() {
    let x = captures_temp_early(&vec![]);
    let y = captures_temp_late(&vec![]);
}

fn main() {}