// requires the HIR to somehow track these hrtb lifetimes
requires the HIR to somehow track these hrtb lifetimes
requires the HIR to somehow track these hrtb lifetimes
fn goto_lifetime_hrtb() {
        check(
            r#"trait Foo<T> {}
fn foo<T>() where for<'a> T: Foo<&'a<|> (u8, u16)>, {}
                    //^^
"#,
        );
        check(
            r#"trait Foo<T> {}
fn foo<T>() where for<'a<|>> T: Foo<&'a (u8, u16)>, {}
                    //^^
"#,
        );
    }
fn goto_lifetime_hrtb ( ) { check ( r#"trait Foo<T> {}
fn foo<T>() where for<'a> T: Foo<&'a<|> (u8, u16)>, {}
                    //^^
"# , ) ; check ( r#"trait Foo<T> {}
fn foo<T>() where for<'a<|>> T: Foo<&'a (u8, u16)>, {}
                    //^^
"# , ) ; }
requires the HIR to somehow track these hrtb lifetimes
requires the HIR to somehow track these hrtb lifetimes