Skip to content

Deprecate -Zmiri-allow-uninit-numbers? #2187

New issue
Jump to bottom
New issue
Jump to bottom
Closed
rust-lang/rust
#100043
Closed
Deprecate -Zmiri-allow-uninit-numbers?#2187
rust-lang/rust
#100043
Labels
A-interpreterArea: affects the core interpreterC-cleanupCategory: cleaning up our code
@RalfJung

Description

@RalfJung
RalfJung
opened on Jun 4, 2022

I would love to deprecate the -Zmiri-allow-uninit-numbers flag some time later this year. Removing that flag would allow us to do some significant cleanup in the interpreter -- we could entirely remove the ScalarMaybeUninit type!

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

    Labels

    A-interpreterArea: affects the core interpreterC-cleanupCategory: cleaning up our code

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions