Add NonNull pattern types #142339

oli-obk · 2025-06-11T07:10:30Z

These are the final piece missing for

Start using pattern types in libcore #136006

We cannot use the previous scheme of using an integer range for raw pointers, as we're not just changing the layout of raw pointers anymore, but also the type representation. And we can't represent "any provenance or NonZero" natively as patterns. So I created a new !null pattern. Since this is all unstable representation stuff for replacing rustc_layout_scalar_range_start with pattern types, the divergence from normal patterns is fine, especially since T-lang seems interested in exploring general negation patterns

r? @BoxyUwU

rustbot · 2025-06-11T07:10:36Z

Some changes occurred to the CTFE machinery

cc @RalfJung, @oli-obk, @lcnr

changes to the core type system

cc @compiler-errors, @lcnr

Some changes occurred in src/tools/clippy

cc @rust-lang/clippy

HIR ty lowering was modified

cc @fmease

Some changes occurred in compiler/rustc_codegen_cranelift

cc @bjorn3

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri

The Miri subtree was changed

cc @rust-lang/miri

Some changes occurred in src/tools/rustfmt

cc @rust-lang/rustfmt

changes to the core type system

cc @compiler-errors, @lcnr

Some changes occurred in compiler/rustc_codegen_ssa

cc @WaffleLapkin

compiler/rustc_trait_selection/src/traits/select/confirmation.rs

rustbot · 2025-06-17T15:08:52Z

These commits modify the library/Cargo.lock file. Unintentional changes to library/Cargo.lock can be introduced when switching branches and rebasing PRs.

If this was unintentional then you should revert the changes before this PR is merged.
Otherwise, you can ignore this comment.

bors · 2025-07-04T18:50:49Z

☔ The latest upstream changes (presumably #143434) made this pull request unmergeable. Please resolve the merge conflicts.

bors · 2025-07-07T18:13:14Z

☔ The latest upstream changes (presumably #143582) made this pull request unmergeable. Please resolve the merge conflicts.

rustbot · 2025-07-08T07:15:14Z

This PR changes Stable MIR

cc @oli-obk, @celinval, @ouz-a

bors · 2025-07-14T20:43:56Z

☔ The latest upstream changes (presumably #143934) made this pull request unmergeable. Please resolve the merge conflicts.

rustbot · 2025-07-15T08:33:00Z

This PR changes rustc_public

cc @oli-obk, @celinval, @ouz-a

oli-obk · 2025-10-21T18:54:35Z

@bors r=BoxyUwU

bors · 2025-10-21T18:54:37Z

📌 Commit 375899c has been approved by BoxyUwU

It is now in the queue for this repository.

Rollup of 7 pull requests Successful merges: - #141445 (Add `FromIterator` impls for `ascii::Char`s to `String`s) - #142339 (Add NonNull pattern types) - #147768 (Code refactoring on hir report_no_match_method_error) - #147788 (const Cell methods) - #147932 (Create UTF-8 version of `OsStr`/`OsString`) - #147933 (os_str: Make platform docs more consistent) - #147948 (PassWrapper: Access GlobalValueSummaryInfo::SummaryList via getter for LLVM 22+) r? `@ghost` `@rustbot` modify labels: rollup

Rollup of 7 pull requests Successful merges: - rust-lang/rust#141445 (Add `FromIterator` impls for `ascii::Char`s to `String`s) - rust-lang/rust#142339 (Add NonNull pattern types) - rust-lang/rust#147768 (Code refactoring on hir report_no_match_method_error) - rust-lang/rust#147788 (const Cell methods) - rust-lang/rust#147932 (Create UTF-8 version of `OsStr`/`OsString`) - rust-lang/rust#147933 (os_str: Make platform docs more consistent) - rust-lang/rust#147948 (PassWrapper: Access GlobalValueSummaryInfo::SummaryList via getter for LLVM 22+) r? `@ghost` `@rustbot` modify labels: rollup

RalfJung · 2025-10-23T06:10:36Z

src/tools/miri/tests/pass/pattern-types.rs

+
+fn main() {
+ unsafe {
+ let _: NonNull<dyn Trait> = NonNull { pointer: transmute(&mut () as *mut dyn Trait) };


@oli-obk the unsizing here happens before pattern types are even involved, doesn't it? It happens during the &mut () as *mut dyn Trait. So I don't see how this tests anything about pattern type unsizing.

It's not about unsizing pattern types, but just about the existence of unsized pattern types. I don't think unsizing pattern types works but I'll add some tests

NonNull<dyn Trait> is a sized type, so I don't think there is an unsized pattern type in this example.

No i mean we can't do NonNull<()> unsizing to NonNull<dyn Trait>. The pointer is obviously sized. Am I using the terminology wrong again? 😅

I was just nitpicking about this part:

but just about the existence of unsized pattern types

This is more like, "pattern types for wide pointers" or so?

RalfJung · 2025-10-23T06:12:02Z

src/tools/miri/tests/pass/pattern-types.rs

I'm a bit confused by this test -- it only covers is !null pattern types, but the name is much more general than that? Would be good to have a comment explaining the point of this. The commit message says something about "unsizing pattern types with pointer base"?

panstromek · 2025-10-27T15:12:18Z

@rust-timer build 375899c

Kobzol · 2025-10-27T16:07:55Z

@rust-timer build 375899c

bjorn3 · 2025-10-27T16:15:28Z

Doesn't look like it got added to the perf queue.

Kobzol · 2025-10-27T16:19:45Z

Yeah, the unrolling failed likely because GitHub was down, we can't do much about that now.

Rollup of 7 pull requests Successful merges: - rust-lang/rust#141445 (Add `FromIterator` impls for `ascii::Char`s to `String`s) - rust-lang/rust#142339 (Add NonNull pattern types) - rust-lang/rust#147768 (Code refactoring on hir report_no_match_method_error) - rust-lang/rust#147788 (const Cell methods) - rust-lang/rust#147932 (Create UTF-8 version of `OsStr`/`OsString`) - rust-lang/rust#147933 (os_str: Make platform docs more consistent) - rust-lang/rust#147948 (PassWrapper: Access GlobalValueSummaryInfo::SummaryList via getter for LLVM 22+) r? `@ghost` `@rustbot` modify labels: rollup

…BoxyUwU Add NonNull pattern types These are the final piece missing for * rust-lang#136006 We cannot use the previous scheme of using an integer range for raw pointers, as we're not just changing the layout of raw pointers anymore, but also the type representation. And we can't represent "any provenance or NonZero<usize>" natively as patterns. So I created a new `!null` pattern. Since this is all unstable representation stuff for replacing rustc_layout_scalar_range_start with pattern types, the divergence from normal patterns is fine, especially since T-lang seems interested in exploring general negation patterns r? `@BoxyUwU`

…iaskrgr Rollup of 7 pull requests Successful merges: - rust-lang#141445 (Add `FromIterator` impls for `ascii::Char`s to `String`s) - rust-lang#142339 (Add NonNull pattern types) - rust-lang#147768 (Code refactoring on hir report_no_match_method_error) - rust-lang#147788 (const Cell methods) - rust-lang#147932 (Create UTF-8 version of `OsStr`/`OsString`) - rust-lang#147933 (os_str: Make platform docs more consistent) - rust-lang#147948 (PassWrapper: Access GlobalValueSummaryInfo::SummaryList via getter for LLVM 22+) r? `@ghost` `@rustbot` modify labels: rollup

…BoxyUwU Add NonNull pattern types These are the final piece missing for * rust-lang#136006 We cannot use the previous scheme of using an integer range for raw pointers, as we're not just changing the layout of raw pointers anymore, but also the type representation. And we can't represent "any provenance or NonZero<usize>" natively as patterns. So I created a new `!null` pattern. Since this is all unstable representation stuff for replacing rustc_layout_scalar_range_start with pattern types, the divergence from normal patterns is fine, especially since T-lang seems interested in exploring general negation patterns r? `@BoxyUwU`

…iaskrgr Rollup of 7 pull requests Successful merges: - rust-lang#141445 (Add `FromIterator` impls for `ascii::Char`s to `String`s) - rust-lang#142339 (Add NonNull pattern types) - rust-lang#147768 (Code refactoring on hir report_no_match_method_error) - rust-lang#147788 (const Cell methods) - rust-lang#147932 (Create UTF-8 version of `OsStr`/`OsString`) - rust-lang#147933 (os_str: Make platform docs more consistent) - rust-lang#147948 (PassWrapper: Access GlobalValueSummaryInfo::SummaryList via getter for LLVM 22+) r? `@ghost` `@rustbot` modify labels: rollup

Rollup of 7 pull requests Successful merges: - rust-lang/rust#141445 (Add `FromIterator` impls for `ascii::Char`s to `String`s) - rust-lang/rust#142339 (Add NonNull pattern types) - rust-lang/rust#147768 (Code refactoring on hir report_no_match_method_error) - rust-lang/rust#147788 (const Cell methods) - rust-lang/rust#147932 (Create UTF-8 version of `OsStr`/`OsString`) - rust-lang/rust#147933 (os_str: Make platform docs more consistent) - rust-lang/rust#147948 (PassWrapper: Access GlobalValueSummaryInfo::SummaryList via getter for LLVM 22+) r? `@ghost` `@rustbot` modify labels: rollup

…BoxyUwU Add NonNull pattern types These are the final piece missing for * rust-lang#136006 We cannot use the previous scheme of using an integer range for raw pointers, as we're not just changing the layout of raw pointers anymore, but also the type representation. And we can't represent "any provenance or NonZero<usize>" natively as patterns. So I created a new `!null` pattern. Since this is all unstable representation stuff for replacing rustc_layout_scalar_range_start with pattern types, the divergence from normal patterns is fine, especially since T-lang seems interested in exploring general negation patterns r? `@BoxyUwU`

rustbot assigned BoxyUwU Jun 11, 2025

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jun 11, 2025

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 02f19f4 to 57dc73a Compare June 11, 2025 08:29

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 57dc73a to 0adc902 Compare June 11, 2025 11:25

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 0adc902 to 9944787 Compare June 11, 2025 14:51

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 9944787 to 8c271d9 Compare June 12, 2025 08:00

PatchMixolydic reviewed Jun 12, 2025

View reviewed changes

compiler/rustc_trait_selection/src/traits/select/confirmation.rs Outdated Show resolved Hide resolved

oli-obk force-pushed the not-null-pattern-types branch from 8c271d9 to 50cab82 Compare June 17, 2025 15:08

oli-obk force-pushed the not-null-pattern-types branch 2 times, most recently from 1c997f2 to 47869c2 Compare July 7, 2025 09:46

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 47869c2 to b20dd1d Compare July 7, 2025 11:31

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from b20dd1d to 96205ed Compare July 7, 2025 12:37

oli-obk force-pushed the not-null-pattern-types branch from 96205ed to 66255f9 Compare July 8, 2025 07:15

oli-obk force-pushed the not-null-pattern-types branch from 66255f9 to 962d6ac Compare July 15, 2025 08:32

rustbot added the T-clippy Relevant to the Clippy team. label Jul 15, 2025

oli-obk force-pushed the not-null-pattern-types branch from 962d6ac to 8f23c36 Compare July 23, 2025 06:56

Pattern types have their base type as a field

d9f22d2

oli-obk force-pushed the not-null-pattern-types branch from 2a3c83b to 9a953cf Compare October 21, 2025 10:46

This comment has been minimized.

Sign in to view

oli-obk added 2 commits October 21, 2025 11:22

Add not-null pointer patterns to pattern types

ad4bd08

Allow unsizing pattern types with pointer base

375899c

oli-obk force-pushed the not-null-pattern-types branch from 9a953cf to 375899c Compare October 21, 2025 11:23

bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Oct 21, 2025

matthiaskrgr mentioned this pull request Oct 22, 2025

Rollup of 7 pull requests #147957

Merged

bors merged commit f6d324f into rust-lang:master Oct 22, 2025
11 checks passed

rustbot added this to the 1.92.0 milestone Oct 22, 2025

oli-obk deleted the not-null-pattern-types branch October 22, 2025 10:43

RalfJung reviewed Oct 23, 2025

View reviewed changes

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

Add NonNull pattern types #142339

Add NonNull pattern types #142339

Uh oh!

oli-obk commented Jun 11, 2025

rustbot commented Jun 11, 2025

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

Uh oh!

rustbot commented Jun 17, 2025

bors commented Jul 4, 2025

This comment has been minimized.

This comment has been minimized.

bors commented Jul 7, 2025

rustbot commented Jul 8, 2025

bors commented Jul 14, 2025

rustbot commented Jul 15, 2025

This comment has been minimized.

oli-obk commented Oct 21, 2025

bors commented Oct 21, 2025

Uh oh!

RalfJung Oct 23, 2025

oli-obk Oct 23, 2025

RalfJung Oct 23, 2025

oli-obk Oct 23, 2025

RalfJung Oct 23, 2025

RalfJung Oct 23, 2025

panstromek commented Oct 27, 2025

Kobzol commented Oct 27, 2025

bjorn3 commented Oct 27, 2025

Kobzol commented Oct 27, 2025

Labels

12 participants

Uh oh!

Add NonNull pattern types #142339

Add NonNull pattern types #142339

Uh oh!

Conversation

oli-obk commented Jun 11, 2025

rustbot commented Jun 11, 2025

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

Uh oh!

rustbot commented Jun 17, 2025

bors commented Jul 4, 2025

This comment has been minimized.

This comment has been minimized.

bors commented Jul 7, 2025

rustbot commented Jul 8, 2025

bors commented Jul 14, 2025

rustbot commented Jul 15, 2025

This comment has been minimized.

oli-obk commented Oct 21, 2025

bors commented Oct 21, 2025

Uh oh!

RalfJung Oct 23, 2025

Choose a reason for hiding this comment

oli-obk Oct 23, 2025

Choose a reason for hiding this comment

RalfJung Oct 23, 2025

Choose a reason for hiding this comment

oli-obk Oct 23, 2025

Choose a reason for hiding this comment

RalfJung Oct 23, 2025

Choose a reason for hiding this comment

RalfJung Oct 23, 2025

Choose a reason for hiding this comment

panstromek commented Oct 27, 2025

Kobzol commented Oct 27, 2025

bjorn3 commented Oct 27, 2025

Kobzol commented Oct 27, 2025

Labels

12 participants