mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-01 15:01:51 +00:00
30c0e4e72b
* ensuring that offset_of!(Self, ...) works iff inside an impl block * ensuring that the output type is usize and doesn't coerce. this can be changed in the future, but if it is done, it should be a conscious descision * improving the privacy checking test * ensuring that generics don't let you escape the unsized check
49 lines
824 B
Rust
49 lines
824 B
Rust
#![feature(offset_of, extern_types)]
|
|
|
|
use std::mem::offset_of;
|
|
|
|
struct Alpha {
|
|
x: u8,
|
|
y: u16,
|
|
z: [u8],
|
|
}
|
|
|
|
trait Trait {}
|
|
|
|
struct Beta {
|
|
x: u8,
|
|
y: u16,
|
|
z: dyn Trait,
|
|
}
|
|
|
|
extern {
|
|
type Extern;
|
|
}
|
|
|
|
struct Gamma {
|
|
x: u8,
|
|
y: u16,
|
|
z: Extern,
|
|
}
|
|
|
|
struct Delta<T: ?Sized> {
|
|
x: u8,
|
|
y: u16,
|
|
z: T,
|
|
}
|
|
|
|
fn main() {
|
|
offset_of!(Alpha, z); //~ ERROR the size for values of type
|
|
offset_of!(Beta, z); //~ ERROR the size for values of type
|
|
offset_of!(Gamma, z); //~ ERROR the size for values of type
|
|
}
|
|
|
|
fn delta() {
|
|
offset_of!(Delta<Alpha>, z); //~ ERROR the size for values of type
|
|
offset_of!(Delta<Extern>, z); //~ ERROR the size for values of type
|
|
}
|
|
|
|
fn generic_with_maybe_sized<T: ?Sized>() -> usize {
|
|
offset_of!(Delta<T>, z) //~ ERROR the size for values of type
|
|
}
|