blob: f266db603bf1cdb84a5f1f047f4a35a1caa76f9c [file] [log] [blame] [edit]
//@ check-pass
trait FromUnchecked {
fn from_unchecked();
}
impl FromUnchecked for [u8; 1] {
fn from_unchecked() {
let mut array: Self = [0; 1];
let _ptr = &mut array as *mut [u8] as *mut u8;
}
}
fn main() {
}