#![feature(type_ascription)]

enum Bug<S> { //~ ERROR parameter `S` is never used
    Var = type_ascribe!(0, S),
    //~^ ERROR generic parameters may not be used
}

fn main() {}