Skip to content

Commit b0edbf5

Browse files
author
The Miri Conjob Bot
committed
Merge from rustc
2 parents c38f3de + 1d68b73 commit b0edbf5

File tree

3 files changed

+22
-2
lines changed

3 files changed

+22
-2
lines changed

tests/pass/intrinsics-x86-aes-vaes.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
//@ignore-target-wasm32
1010
//@compile-flags: -C target-feature=+aes,+vaes,+avx512f
1111

12-
#![feature(avx512_target_feature, stdsimd)]
12+
#![feature(avx512_target_feature, stdarch_x86_avx512)]
1313

1414
use core::mem::transmute;
1515
#[cfg(target_arch = "x86")]

tests/pass/intrinsics-x86-avx512.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
//@compile-flags: -C target-feature=+avx512f,+avx512vl,+avx512bitalg,+avx512vpopcntdq
1111

1212
#![feature(avx512_target_feature)]
13-
#![feature(stdsimd)]
13+
#![feature(stdarch_x86_avx512)]
1414

1515
#[cfg(target_arch = "x86")]
1616
use std::arch::x86::*;
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
// regression test for an ICE: https://github.com/rust-lang/miri/issues/3282
2+
3+
trait Id {
4+
type Assoc: ?Sized;
5+
}
6+
7+
impl<T: ?Sized> Id for T {
8+
type Assoc = T;
9+
}
10+
11+
#[repr(transparent)]
12+
struct Foo<T: ?Sized> {
13+
field: <T as Id>::Assoc,
14+
}
15+
16+
fn main() {
17+
let x = unsafe { std::mem::transmute::<fn(&str), fn(&Foo<str>)>(|_| ()) };
18+
let foo: &Foo<str> = unsafe { &*("uwu" as *const str as *const Foo<str>) };
19+
x(foo);
20+
}

0 commit comments

Comments
 (0)