Skip to content

Miri: remove an outdated FIXME - #70769

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:fixed
Apr 5, 2020
Merged

Miri: remove an outdated FIXME#70769
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:fixed

Conversation

@RalfJung

Copy link
Copy Markdown
Member

We even have a test making sure that we detect dropping with a non-const implementation.

r? @oli-obk

@rust-highfiverust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 4, 2020
@Dylan-DPC-zz

Copy link
Copy Markdown

@bors r+ rollup

@bors

bors commented Apr 5, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit e901b2f has been approved by Dylan-DPC

@borsbors 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-review Status: Awaiting review from the assignee but also interested parties. labels Apr 5, 2020
@RalfJung

Copy link
Copy Markdown
MemberAuthor

r? @Dylan-DPC to reflect review

bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 5, 2020
Rollup of 5 pull requests
Successful merges:
- rust-lang#70558 (Fix some aliasing issues in Vec)
- rust-lang#70760 (docs: make the description of Result::map_or more clear)
- rust-lang#70769 (Miri: remove an outdated FIXME)
- rust-lang#70776 (clarify comment in RawVec::into_box)
- rust-lang#70806 (fix Miri assignment sanity check)
Failed merges:
r? @ghost
@bors
bors merged commit 2448a23 into rust-lang:masterApr 5, 2020
@RalfJung
RalfJung deleted the fixed branch April 5, 2020 16:29
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@RalfJung@Dylan-DPC-zz@bors@oli-obk@rust-highfive