#![allow(dead_code)]
#![allow(unused_variables)]

fn bug() {
    macro_rules! m {
        () => {
            _ //~ ERROR the placeholder `_` is not allowed within types on item signatures for structs
            //~^ ERROR the placeholder `_` is not allowed within types on item signatures for structs
            //~| ERROR the placeholder `_` is not allowed within types on item signatures for structs
        };
    }
    struct S<T = m!()>(m!(), T)
    where
        T: Trait<m!()>;
}
trait Trait<T> {}

fn main() {}