tests/ui/const-generics/late-bound-vars/simple.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// run-pass
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

const fn inner<'a>() -> usize where &'a (): Sized {
    3
}

fn test<'a>() {
    let _: [u8; inner::<'a>()];
    let _ = [0; inner::<'a>()];
}

fn main() {
    test();
}