Skip to content

rustc: Remove the used_unsafe field on TyCtxt#44195

Merged
bors merged 1 commit into
rust-lang:masterfrom
alexcrichton:remove-used-unsafe
Sep 3, 2017
Merged

rustc: Remove the used_unsafe field on TyCtxt#44195
bors merged 1 commit into
rust-lang:masterfrom
alexcrichton:remove-used-unsafe

Conversation

@alexcrichton

@alexcrichton alexcrichton commented Aug 30, 2017

Copy link
Copy Markdown
Member

Now that lint levels are available for the entire compilation, this can be an
entirely local lint in effect.rs

cc #44137

@rust-highfive

Copy link
Copy Markdown
Contributor

r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

Now that lint levels are available for the entire compilation, this can be an
entirely local lint in `effect.rs`
@nikomatsakis

Copy link
Copy Markdown
Contributor

@bors r+

beautiful

@bors

bors commented Aug 31, 2017

Copy link
Copy Markdown
Collaborator

📌 Commit 058202e has been approved by nikomatsakis

@shepmaster shepmaster added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Sep 1, 2017
@bors

bors commented Sep 3, 2017

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 058202e with merge fc54bf9...

bors added a commit that referenced this pull request Sep 3, 2017
rustc: Remove the `used_unsafe` field on TyCtxt

Now that lint levels are available for the entire compilation, this can be an
entirely local lint in `effect.rs`

cc #44137
@bors

bors commented Sep 3, 2017

Copy link
Copy Markdown
Collaborator

☀️ Test successful - status-appveyor, status-travis
Approved by: nikomatsakis
Pushing fc54bf9 to master...

@bors bors merged commit 058202e into rust-lang:master Sep 3, 2017
@alexcrichton alexcrichton deleted the remove-used-unsafe branch September 9, 2017 21:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: 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