Skip to content

Add a new feature, may_dangle. - #133

Merged
bors-servo merged 2 commits into
servo:masterfrom
nnethercote:may_dangle
Nov 29, 2018
Merged

Add a new feature, may_dangle.#133
bors-servo merged 2 commits into
servo:masterfrom
nnethercote:may_dangle

Conversation

@nnethercote

@nnethercote nnethercote commented Nov 29, 2018

Copy link
Copy Markdown
Contributor

This commit adds a may_dangle annotation to drop, matching Vec.
This feature increases the ability of SmallVec to be used as a drop-in
replacement for Vec. A feature is necessary because may_dangle is
Nightly-only.

Fixes #132.


This change is Reviewable

This commit adds a `may_dangle` annotation to `drop`, matching `Vec`.
This feature increases the ability of `SmallVec` to be used as a drop-in
replacement for `Vec`. A feature is necessary because `may_dangle` is
Nightly-only.

Fixes servo#132.
@mbrubeck

Copy link
Copy Markdown
Collaborator

@bors-servo r+

@bors-servo

Copy link
Copy Markdown
Contributor

📌 Commit 72a500f has been approved by mbrubeck

@bors-servo

Copy link
Copy Markdown
Contributor

⌛ Testing commit 72a500f with merge e244d0a...

bors-servo pushed a commit that referenced this pull request Nov 29, 2018
Add a new feature, `may_dangle`.

This commit adds a `may_dangle` annotation to `drop`, matching `Vec`.
This feature increases the ability of `SmallVec` to be used as a drop-in
replacement for `Vec`. A feature is necessary because `may_dangle` is
Nightly-only.

Fixes #132.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/rust-smallvec/133)
<!-- Reviewable:end -->
@bors-servo

Copy link
Copy Markdown
Contributor

☀️ Test successful - status-travis
Approved by: mbrubeck
Pushing e244d0a to master...

@bors-servo
bors-servo merged commit 72a500f into servo:master Nov 29, 2018
@mbrubeck

Copy link
Copy Markdown
Collaborator

Published: https://crates.io/crates/smallvec/0.6.7

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.

3 participants