diff options
Diffstat (limited to 'src/test/ui/wf/wf-in-foreign-fn-decls-issue-80468.rs')
-rw-r--r-- | src/test/ui/wf/wf-in-foreign-fn-decls-issue-80468.rs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/wf/wf-in-foreign-fn-decls-issue-80468.rs b/src/test/ui/wf/wf-in-foreign-fn-decls-issue-80468.rs new file mode 100644 index 000000000..4fcf8f403 --- /dev/null +++ b/src/test/ui/wf/wf-in-foreign-fn-decls-issue-80468.rs @@ -0,0 +1,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>); //~ ERROR: incompatible lifetime on type +} |