| //@ check-pass | |
| #![feature(type_alias_impl_trait)] | |
| #![deny(improper_ctypes)] | |
| trait Foo { | |
| type Assoc; | |
| } | |
| impl Foo for () { | |
| type Assoc = u32; | |
| } | |
| type Bar = impl Foo<Assoc = u32>; | |
| fn assign() -> Bar {} | |
| extern "C" { | |
| fn lint_me() -> <Bar as Foo>::Assoc; | |
| } | |
| fn main() {} |