rust/tests/ui/unsafe/ranged_ints.rs

// revisions: mir thir
// [thir]compile-flags: -Z thir-unsafeck

#![feature(rustc_attrs)]

#[rustc_layout_scalar_valid_range_start(1)]
#[repr(transparent)]
pub(crate) struct NonZero<T>(pub(crate) T);
fn main() {
    let _x = NonZero(0); //~ ERROR initializing type with `rustc_layout_scalar_valid_range` attr
}
Check for initialization of layout-restricted types 2021-05-15 13:26:28 +00:00			`// revisions: mir thir`
			`// [thir]compile-flags: -Z thir-unsafeck`

Forbid the creation of mutable borrows to fields of layout constrained types 2018-11-03 15:30:05 +00:00			`#![feature(rustc_attrs)]`

			`#[rustc_layout_scalar_valid_range_start(1)]`
			`#[repr(transparent)]`
			`pub(crate) struct NonZero<T>(pub(crate) T);`
			`fn main() {`
			let _x = NonZero(0); //~ ERROR initializing type with `rustc_layout_scalar_valid_range` attr
Trailing newlines again 2018-11-03 22:39:29 +00:00			`}`