// run-pass
// revisions: full min
#![cfg_attr(full, feature(const_generics))] //[full]~WARN the feature `const_generics` is incomplete

fn promote<const N: i32>() {
    // works:
    //
    // let n = N;
    // let _ = &n;

    let _ = &N;
}

fn main() {
    promote::<0>();
}