Skip to content

remove intrinsic that is now implemented in the rustc side#1658

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:forget
Dec 22, 2020
Merged

remove intrinsic that is now implemented in the rustc side#1658
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:forget

Conversation

@RalfJung

Copy link
Copy Markdown
Member

Since rust-lang/rust#80040, we can rely on the pass introduced in rust-lang/rust#79049 to lower away forget.

@RalfJung

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Dec 22, 2020

Copy link
Copy Markdown
Contributor

📌 Commit 65f5c27 has been approved by RalfJung

@bors

bors commented Dec 22, 2020

Copy link
Copy Markdown
Contributor

⌛ Testing commit 65f5c27 with merge e18c681...

@bors

bors commented Dec 22, 2020

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing e18c681 to master...

@bors
bors merged commit e18c681 into rust-lang:master Dec 22, 2020
@RalfJung
RalfJung deleted the forget branch December 25, 2020 21:02
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.

2 participants