| // Regression test for #80468. | |
| #![crate_type = "lib"] | |
| pub trait Trait {} | |
| #[repr(transparent)] | |
| pub struct Wrapper<T: Trait>(T); | |
| #[repr(transparent)] | |
| pub struct Ref<'a>(&'a u8); | |
| impl Trait for Ref {} //~ ERROR: implicit elided lifetime not allowed here | |
| extern "C" { | |
| pub fn repro(_: Wrapper<Ref>); | |
| //~^ ERROR the trait bound `Ref<'_>: Trait` is not satisfied | |
| } |