fn main() {
    x::<#[a]y::<z>>
    //~^ ERROR invalid const generic expression
    //~| ERROR cannot find value `x` in this scope
}