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

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