src/test/ui/attributes/register-attr-tool-import.rs

   1 // edition:2018
   2 // compile-flags: -Zsave-analysis
   3 // ~^ Also regression test for #69588
   4
   5 #![feature(register_attr)]
   6 #![feature(register_tool)]
   7
   8 #![register_attr(attr)]
   9 #![register_tool(tool)]
  10
  11 use attr as renamed_attr; // OK
  12 use tool as renamed_tool; // OK
  13
  14 #[renamed_attr] //~ ERROR cannot use an explicitly registered attribute through an import
  15 #[renamed_tool::attr] //~ ERROR cannot use a tool module through an import
  16                       //~| ERROR cannot use a tool module through an import
  17 fn main() {}