Skip to content
This repository has been archived by the owner on Jan 24, 2022. It is now read-only.

Expand #[pre_init] safety docs, discourage its use #248

Merged
merged 1 commit into from
Feb 16, 2020
Merged

Expand #[pre_init] safety docs, discourage its use #248

merged 1 commit into from
Feb 16, 2020

Conversation

jonas-schievink
Copy link
Contributor

No description provided.

@rust-highfive
Copy link

r? @therealprof

(rust_highfive has picked a reviewer for you, use r? to override)

Copy link
Member

@adamgreig adamgreig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors r+

bors bot added a commit that referenced this pull request Feb 16, 2020
248: Expand #[pre_init] safety docs, discourage its use r=adamgreig a=jonas-schievink



Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>
@bors
Copy link
Contributor

bors bot commented Feb 16, 2020

Build succeeded

@bors bors bot merged commit aeb35b1 into rust-embedded:master Feb 16, 2020
@jonas-schievink jonas-schievink deleted the pre-init-safety branch February 16, 2020 23:47
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants