tests/ui/wf/wf-in-foreign-fn-decls-issue-80468.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// 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>);
}