src/test/ui/parser/issue-65041-empty-vis-matcher-in-trait.rs

   1 // check-pass
   2
   3 // Here we check that a `:vis` macro matcher subsititued for the empty visibility
   4 // (`VisibilityKind::Inherited`) is accepted when used before an item in a trait.
   5
   6 fn main() {}
   7
   8 macro_rules! mac_in_trait {
   9     ($vis:vis MARKER) => {
  10         $vis fn beta() {}
  11
  12         $vis const GAMMA: u8;
  13
  14         $vis type Delta;
  15     }
  16 }
  17
  18 trait Alpha {
  19     mac_in_trait!(MARKER);
  20 }
  21
  22 // We also accept visibilities on items in traits syntactically but not semantically.
  23 #[cfg(FALSE)]
  24 trait Foo {
  25     pub fn bar();
  26     pub(crate) type baz;
  27     pub(super) const QUUX: u8;
  28 }