|
//@ check-pass
|
|
#![deny(improper_ctypes)]
|
|
|
|
pub trait Foo {
|
|
type Assoc: 'static;
|
|
}
|
|
|
|
impl Foo for () {
|
|
type Assoc = u32;
|
|
}
|
|
|
|
extern "C" {
|
|
pub fn lint_me(x: Bar<()>);
|
|
}
|
|
|
|
#[repr(transparent)]
|
|
pub struct Bar<T: Foo> {
|
|
value: &'static <T as Foo>::Assoc,
|
|
}
|
|
|
|
fn main() {}
|