src/test/ui/lint/lint-ctypes-73251.rs

   1 // check-pass
   2
   3 // revisions: min_tait full_tait
   4 #![feature(min_type_alias_impl_trait)]
   5 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   6 //[full_tait]~^ WARN incomplete
   7 #![deny(improper_ctypes)]
   8
   9 pub trait Foo {
  10     type Assoc;
  11 }
  12
  13 impl Foo for () {
  14     type Assoc = u32;
  15 }
  16
  17 type Bar = impl Foo<Assoc = u32>;
  18
  19 fn assign() -> Bar {}
  20
  21 extern "C" {
  22     pub fn lint_me() -> <Bar as Foo>::Assoc;
  23 }
  24
  25 fn main() {}