From c4ff3c4fabf223db35d7afb086b3c18dab7339b0 Mon Sep 17 00:00:00 2001 From: Oli Scherer Date: Wed, 16 Apr 2025 11:39:04 +0000 Subject: [PATCH 1/2] Allow unsizing pattern types with pointer base --- tests/pass/pattern-types.rs | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 tests/pass/pattern-types.rs diff --git a/tests/pass/pattern-types.rs b/tests/pass/pattern-types.rs new file mode 100644 index 0000000000..90fe0de546 --- /dev/null +++ b/tests/pass/pattern-types.rs @@ -0,0 +1,18 @@ +#![feature(pattern_types, pattern_type_macro, sized_hierarchy)] +#![allow(dead_code)] + +use std::marker::PointeeSized; +use std::mem::transmute; + +pub struct NonNull { + pointer: std::pat::pattern_type!(*const T is !null), +} + +trait Trait {} +impl Trait for () {} + +fn main() { + unsafe { + let _: NonNull = NonNull { pointer: transmute(&mut () as *mut dyn Trait) }; + } +} From c57ca2e29cfbc3da854c16f6f18af483ea1eebeb Mon Sep 17 00:00:00 2001 From: The Miri Cronjob Bot Date: Thu, 23 Oct 2025 04:53:19 +0000 Subject: [PATCH 2/2] Prepare for merging from rust-lang/rust This updates the rust-version file to 6244effd0372d5d88fc859d3bf17ce1efcc2c9ec. --- rust-version | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-version b/rust-version index cca795330b..15dc8792af 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -96fe3c31c2ec385f3d3263346bcdde3d118cdaf6 +6244effd0372d5d88fc859d3bf17ce1efcc2c9ec