2 // compile-flags: -Z span-debug --error-format human
3 // aux-build:test-macros.rs
5 #![feature(stmt_expr_attributes)]
6 #![feature(custom_inner_attributes)]
7 #![feature(rustc_attrs)]
9 #![no_std] // Don't load unnecessary hygiene information from std
13 extern crate test_macros;
16 struct MyStruct<const N: bool>;
19 fn foo<T: MyTrait<MyStruct<{ true }>>>() {}
21 impl<T> MyTrait<T> for MyStruct<{true}> {