16 lines
332 B
Rust
16 lines
332 B
Rust
|
// Check that the interpreter does not ICE when trying to unsize `B` to `[u8]`.
|
||
|
|
// This is a `build` test to ensure that const-prop-lint runs.
|
||
|
|
//@ build-pass
|
||
|
|
|
||
|
|
#![feature(unsize)]
|
||
|
|
|
||
|
|
fn foo<B>(buffer: &mut [B; 2])
|
||
|
|
where B: std::marker::Unsize<[u8]>,
|
||
|
|
{
|
||
|
|
let buffer: &[u8] = &buffer[0];
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
foo(&mut [[0], [5]]);
|
||
|
|
}
|