diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-21 11:35:02 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-21 13:04:51 +0200 |
| commit | 875f0c2da05da9a7620afd6e2be04fbcb9a4b395 (patch) | |
| tree | 77bad47cfd027e795fbff76b8f8fff4f882f53c8 /tests/ui/cast | |
| parent | b9be3c47e52d9dec0009662c6ce3708c5396f6d4 (diff) | |
| download | rust-875f0c2da05da9a7620afd6e2be04fbcb9a4b395.tar.gz rust-875f0c2da05da9a7620afd6e2be04fbcb9a4b395.zip | |
Miri: detect wrong vtables in wide pointers
Diffstat (limited to 'tests/ui/cast')
| -rw-r--r-- | tests/ui/cast/cast-rfc0401-vtable-kinds.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/ui/cast/cast-rfc0401-vtable-kinds.rs b/tests/ui/cast/cast-rfc0401-vtable-kinds.rs index 410e15d024f..0d8f92f013f 100644 --- a/tests/ui/cast/cast-rfc0401-vtable-kinds.rs +++ b/tests/ui/cast/cast-rfc0401-vtable-kinds.rs @@ -17,7 +17,7 @@ impl Foo<u32> for u32 { fn foo(&self, _: u32) -> u32 { self+43 } } impl Bar for () {} unsafe fn round_trip_and_call<'a>(t: *const (dyn Foo<u32>+'a)) -> u32 { - let foo_e : *const dyn Foo<u16> = t as *const _; + let foo_e : *const dyn Foo<u32> = t as *const _; let r_1 = foo_e as *mut dyn Foo<u32>; (&*r_1).foo(0) |