src/test/ui/privacy/privacy-sanity.rs

   1 #![feature(negative_impls)]
   2
   3 pub trait Tr {
   4     fn f();
   5     const C: u8;
   6     type T;
   7 }
   8 pub struct S {
   9     pub a: u8
  10 }
  11 struct Ts(pub u8);
  12
  13 pub impl Tr for S {  //~ ERROR unnecessary visibility qualifier
  14     pub fn f() {} //~ ERROR unnecessary visibility qualifier
  15     pub const C: u8 = 0; //~ ERROR unnecessary visibility qualifier
  16     pub type T = u8; //~ ERROR unnecessary visibility qualifier
  17 }
  18 pub impl S { //~ ERROR unnecessary visibility qualifier
  19     pub fn f() {}
  20     pub const C: u8 = 0;
  21     // pub type T = u8;
  22 }
  23 pub extern "C" { //~ ERROR unnecessary visibility qualifier
  24     pub fn f();
  25     pub static St: u8;
  26 }
  27
  28 const MAIN: u8 = {
  29     pub trait Tr {
  30         fn f();
  31         const C: u8;
  32         type T;
  33     }
  34     pub struct S {
  35         pub a: u8
  36     }
  37     struct Ts(pub u8);
  38
  39     pub impl Tr for S {  //~ ERROR unnecessary visibility qualifier
  40         pub fn f() {} //~ ERROR unnecessary visibility qualifier
  41         pub const C: u8 = 0; //~ ERROR unnecessary visibility qualifier
  42         pub type T = u8; //~ ERROR unnecessary visibility qualifier
  43     }
  44     pub impl S { //~ ERROR unnecessary visibility qualifier
  45         pub fn f() {}
  46         pub const C: u8 = 0;
  47         // pub type T = u8;
  48     }
  49     pub extern "C" { //~ ERROR unnecessary visibility qualifier
  50         pub fn f();
  51         pub static St: u8;
  52     }
  53
  54     0
  55 };
  56
  57 fn main() {
  58     pub trait Tr {
  59         fn f();
  60         const C: u8;
  61         type T;
  62     }
  63     pub struct S {
  64         pub a: u8
  65     }
  66     struct Ts(pub u8);
  67
  68     pub impl Tr for S {  //~ ERROR unnecessary visibility qualifier
  69         pub fn f() {} //~ ERROR unnecessary visibility qualifier
  70         pub const C: u8 = 0; //~ ERROR unnecessary visibility qualifier
  71         pub type T = u8; //~ ERROR unnecessary visibility qualifier
  72     }
  73     pub impl S { //~ ERROR unnecessary visibility qualifier
  74         pub fn f() {}
  75         pub const C: u8 = 0;
  76         // pub type T = u8;
  77     }
  78     pub extern "C" { //~ ERROR unnecessary visibility qualifier
  79         pub fn f();
  80         pub static St: u8;
  81     }
  82 }