Skip to content

Fix wrong lifetime of TyCtxt#4209

Merged
bors merged 1 commit into
rust-lang:masterfrom
tesuji:TyCtxt-lifetime
Jun 14, 2019
Merged

Fix wrong lifetime of TyCtxt#4209
bors merged 1 commit into
rust-lang:masterfrom
tesuji:TyCtxt-lifetime

Conversation

@tesuji

@tesuji tesuji commented Jun 14, 2019

Copy link
Copy Markdown
Contributor

Rustup rust-lang/rust#61817

changelog: none

@Manishearth

Copy link
Copy Markdown
Member

@bors r+

@bors

bors commented Jun 14, 2019

Copy link
Copy Markdown
Contributor

📌 Commit 9bfdbd1 has been approved by Manishearth

@bors

bors commented Jun 14, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit 9bfdbd1 with merge 1a7875c...

bors added a commit that referenced this pull request Jun 14, 2019
Fix wrong lifetime of TyCtxt

Rustup rust-lang/rust#61817

changelog: none
@tesuji

tesuji commented Jun 14, 2019

Copy link
Copy Markdown
Contributor Author

I think we need to wait after rust-lang/rust#61817 is merged

@bors

bors commented Jun 14, 2019

Copy link
Copy Markdown
Contributor

💔 Test failed - status-appveyor

@tesuji

tesuji commented Jun 14, 2019

Copy link
Copy Markdown
Contributor Author

rust-lang/rust#61817 is merged, should be good to go!

@matthiaskrgr

Copy link
Copy Markdown
Member

@bors retry

bors added a commit that referenced this pull request Jun 14, 2019
Fix wrong lifetime of TyCtxt

Rustup rust-lang/rust#61817

changelog: none
@bors

bors commented Jun 14, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit 9bfdbd1 with merge be5d17f...

@bors

bors commented Jun 14, 2019

Copy link
Copy Markdown
Contributor

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

@bors bors merged commit 9bfdbd1 into rust-lang:master Jun 14, 2019
@tesuji tesuji deleted the TyCtxt-lifetime branch June 15, 2019 00:47
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.

4 participants