src/test/ui/proc-macro/attr-complex-fn.rs

   1 // check-pass
   2 // compile-flags: -Z span-debug --error-format human
   3 // aux-build:test-macros.rs
   4
   5 #![feature(stmt_expr_attributes)]
   6 #![feature(custom_inner_attributes)]
   7 #![feature(rustc_attrs)]
   8
   9 #![no_std] // Don't load unnecessary hygiene information from std
  10 extern crate std;
  11
  12 #[macro_use]
  13 extern crate test_macros;
  14
  15 trait MyTrait<T> {}
  16 struct MyStruct<const N: bool>;
  17
  18 #[print_attr]
  19 fn foo<T: MyTrait<MyStruct<{ true }>>>() {}
  20
  21 impl<T> MyTrait<T> for MyStruct<{true}> {
  22     #![print_attr]
  23     #![rustc_dummy]
  24 }
  25
  26 fn main() {}