src/test/ui/feature-gates/feature-gate-abi.rs

   1 // gate-test-intrinsics
   2 // gate-test-platform_intrinsics
   3 // gate-test-abi_efiapi
   4 // compile-flags: --crate-type=rlib
   5
   6 #![feature(no_core, lang_items)]
   7 #![no_core]
   8
   9 #[lang="sized"]
  10 trait Sized { }
  11
  12 #[lang="tuple_trait"]
  13 trait Tuple { }
  14
  15 // Functions
  16 extern "rust-intrinsic" fn f1() {} //~ ERROR intrinsics are subject to change
  17                                    //~^ ERROR intrinsic must be in
  18 extern "platform-intrinsic" fn f2() {} //~ ERROR platform intrinsics are experimental
  19                                        //~^ ERROR intrinsic must be in
  20 extern "rust-call" fn f4(_: ()) {} //~ ERROR rust-call ABI is subject to change
  21 extern "efiapi" fn f10() {} //~ ERROR efiapi ABI is experimental and subject to change
  22
  23 // Methods in trait definition
  24 trait Tr {
  25     extern "rust-intrinsic" fn m1(); //~ ERROR intrinsics are subject to change
  26                                      //~^ ERROR intrinsic must be in
  27     extern "platform-intrinsic" fn m2(); //~ ERROR platform intrinsics are experimental
  28                                          //~^ ERROR intrinsic must be in
  29     extern "rust-call" fn m4(_: ()); //~ ERROR rust-call ABI is subject to change
  30     extern "efiapi" fn m10(); //~ ERROR efiapi ABI is experimental and subject to change
  31
  32     extern "rust-call" fn dm4(_: ()) {} //~ ERROR rust-call ABI is subject to change
  33     extern "efiapi" fn dm10() {} //~ ERROR efiapi ABI is experimental and subject to change
  34 }
  35
  36 struct S;
  37
  38 // Methods in trait impl
  39 impl Tr for S {
  40     extern "rust-intrinsic" fn m1() {} //~ ERROR intrinsics are subject to change
  41                                        //~^ ERROR intrinsic must be in
  42     extern "platform-intrinsic" fn m2() {} //~ ERROR platform intrinsics are experimental
  43                                            //~^ ERROR intrinsic must be in
  44     extern "rust-call" fn m4(_: ()) {} //~ ERROR rust-call ABI is subject to change
  45     extern "efiapi" fn m10() {} //~ ERROR efiapi ABI is experimental and subject to change
  46 }
  47
  48 // Methods in inherent impl
  49 impl S {
  50     extern "rust-intrinsic" fn im1() {} //~ ERROR intrinsics are subject to change
  51                                         //~^ ERROR intrinsic must be in
  52     extern "platform-intrinsic" fn im2() {} //~ ERROR platform intrinsics are experimental
  53                                             //~^ ERROR intrinsic must be in
  54     extern "rust-call" fn im4(_: ()) {} //~ ERROR rust-call ABI is subject to change
  55     extern "efiapi" fn im10() {} //~ ERROR efiapi ABI is experimental and subject to change
  56 }
  57
  58 // Function pointer types
  59 type A1 = extern "rust-intrinsic" fn(); //~ ERROR intrinsics are subject to change
  60 type A2 = extern "platform-intrinsic" fn(); //~ ERROR platform intrinsics are experimental
  61 type A4 = extern "rust-call" fn(_: ()); //~ ERROR rust-call ABI is subject to change
  62 type A10 = extern "efiapi" fn(); //~ ERROR efiapi ABI is experimental and subject to change
  63
  64 // Foreign modules
  65 extern "rust-intrinsic" {} //~ ERROR intrinsics are subject to change
  66 extern "platform-intrinsic" {} //~ ERROR platform intrinsics are experimental
  67 extern "rust-call" {} //~ ERROR rust-call ABI is subject to change
  68 extern "efiapi" {} //~ ERROR efiapi ABI is experimental and subject to change