Skip to content

Conversation

@tesuji
Copy link
Contributor

@tesuji tesuji commented Sep 20, 2020

Waiting for rust-lang/rust#76973 merged.

@RalfJung RalfJung added the S-blocked-on-rust Status: Blocked on landing a Rust PR label Sep 20, 2020
@tesuji tesuji force-pushed the upstream-assume-const branch 2 times, most recently from b1c71f9 to 56ea94d Compare September 27, 2020 03:00
It has been moved to rustc_mir.
@RalfJung
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Sep 27, 2020

📌 Commit 56ea94d has been approved by RalfJung

@RalfJung RalfJung removed the S-blocked-on-rust Status: Blocked on landing a Rust PR label Sep 27, 2020
@bors
Copy link
Contributor

bors commented Sep 27, 2020

⌛ Testing commit 56ea94d with merge aa832c1...

@bors
Copy link
Contributor

bors commented Sep 27, 2020

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing aa832c1 to master...

@bors bors merged commit aa832c1 into rust-lang:master Sep 27, 2020
@tesuji tesuji deleted the upstream-assume-const branch September 27, 2020 08:55
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