Skip to content

Forbid the use of unsafe code#216

Merged
mgeisler merged 1 commit intomasterfrom
forbid-unsafe-code
Oct 25, 2020
Merged

Forbid the use of unsafe code#216
mgeisler merged 1 commit intomasterfrom
forbid-unsafe-code

Conversation

@mgeisler
Copy link
Copy Markdown
Owner

@mgeisler mgeisler commented Oct 25, 2020

We currently don't have any unsafe code in textwrap -- adding this attribute ensure that we'll think careful about it before adding any. The Rust Safety Dance project promises to be a great resource in ensuring that any unsafe code added is, infact, safe.

Fixes #210.

We currently don't have any unsafe code in `textwrap` -- adding this
attribute ensure that we'll think careful about it before adding any.

Fixes #210.
@mgeisler mgeisler merged commit c708b78 into master Oct 25, 2020
@mgeisler mgeisler deleted the forbid-unsafe-code branch January 30, 2021 16:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Forbid unsafe code

1 participant