12 lines
214 B
Rust
12 lines
214 B
Rust
//@ run-pass
|
|
#![feature(generic_const_exprs)]
|
|
#![allow(incomplete_features)]
|
|
|
|
fn with_bound<const N: usize>() where [u8; N / 2]: Sized {
|
|
let _: [u8; N / 2] = [0; N / 2];
|
|
}
|
|
|
|
fn main() {
|
|
with_bound::<4>();
|
|
}
|