tests/ui/lint/lint-ctypes-enum.rs

   1 #![feature(transparent_unions)]
   2 #![feature(ptr_internals)]
   3 #![deny(improper_ctypes)]
   4 #![allow(dead_code)]
   5
   6 use std::num;
   7
   8 enum Z {}
   9 enum U {
  10     A,
  11 }
  12 enum B {
  13     C,
  14     D,
  15 }
  16 enum T {
  17     E,
  18     F,
  19     G,
  20 }
  21
  22 #[repr(C)]
  23 enum ReprC {
  24     A,
  25     B,
  26     C,
  27 }
  28
  29 #[repr(u8)]
  30 enum U8 {
  31     A,
  32     B,
  33     C,
  34 }
  35
  36 #[repr(isize)]
  37 enum Isize {
  38     A,
  39     B,
  40     C,
  41 }
  42
  43 #[repr(transparent)]
  44 struct TransparentStruct<T>(T, std::marker::PhantomData<Z>);
  45
  46 #[repr(transparent)]
  47 enum TransparentEnum<T> {
  48     Variant(T, std::marker::PhantomData<Z>),
  49 }
  50
  51 #[repr(transparent)]
  52 union TransparentUnion<T: Copy> {
  53     field: T,
  54 }
  55
  56 struct Rust<T>(T);
  57
  58 extern "C" {
  59    fn zf(x: Z);
  60    fn uf(x: U); //~ ERROR `extern` block uses type `U`
  61    fn bf(x: B); //~ ERROR `extern` block uses type `B`
  62    fn tf(x: T); //~ ERROR `extern` block uses type `T`
  63    fn repr_c(x: ReprC);
  64    fn repr_u8(x: U8);
  65    fn repr_isize(x: Isize);
  66    fn option_ref(x: Option<&'static u8>);
  67    fn option_fn(x: Option<extern "C" fn()>);
  68    fn nonnull(x: Option<std::ptr::NonNull<u8>>);
  69    fn unique(x: Option<std::ptr::Unique<u8>>);
  70    fn nonzero_u8(x: Option<num::NonZeroU8>);
  71    fn nonzero_u16(x: Option<num::NonZeroU16>);
  72    fn nonzero_u32(x: Option<num::NonZeroU32>);
  73    fn nonzero_u64(x: Option<num::NonZeroU64>);
  74    fn nonzero_u128(x: Option<num::NonZeroU128>);
  75    //~^ ERROR `extern` block uses type `u128`
  76    fn nonzero_usize(x: Option<num::NonZeroUsize>);
  77    fn nonzero_i8(x: Option<num::NonZeroI8>);
  78    fn nonzero_i16(x: Option<num::NonZeroI16>);
  79    fn nonzero_i32(x: Option<num::NonZeroI32>);
  80    fn nonzero_i64(x: Option<num::NonZeroI64>);
  81    fn nonzero_i128(x: Option<num::NonZeroI128>);
  82    //~^ ERROR `extern` block uses type `i128`
  83    fn nonzero_isize(x: Option<num::NonZeroIsize>);
  84    fn transparent_struct(x: Option<TransparentStruct<num::NonZeroU8>>);
  85    fn transparent_enum(x: Option<TransparentEnum<num::NonZeroU8>>);
  86    fn transparent_union(x: Option<TransparentUnion<num::NonZeroU8>>);
  87    //~^ ERROR `extern` block uses type
  88    fn repr_rust(x: Option<Rust<num::NonZeroU8>>); //~ ERROR `extern` block uses type
  89    fn no_result(x: Result<(), num::NonZeroI32>); //~ ERROR `extern` block uses type
  90 }
  91
  92 pub fn main() {}