Skip to content

Fix 4019#4084

Merged
bors merged 3 commits into
masterfrom
unknown repository
May 14, 2019
Merged

Fix 4019#4084
bors merged 3 commits into
masterfrom
unknown repository

Conversation

@ghost

@ghost ghost commented May 12, 2019

Copy link
Copy Markdown

Fixes #4019

@oli-obk

oli-obk commented May 13, 2019

Copy link
Copy Markdown
Contributor

@bors r+

@bors

bors commented May 13, 2019

Copy link
Copy Markdown
Contributor

📌 Commit 2efd8c6 has been approved by oli-obk

@bors

bors commented May 13, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit 2efd8c6 with merge 3edb395...

bors added a commit that referenced this pull request May 13, 2019
@bors

bors commented May 13, 2019

Copy link
Copy Markdown
Contributor

💔 Test failed - status-appveyor

@mati865

mati865 commented May 13, 2019

Copy link
Copy Markdown
Member

Upstream breakage rust-lang/rust#60630

@flip1995

Copy link
Copy Markdown
Member

Fixed in #4093

@bors retry

bors added a commit that referenced this pull request May 14, 2019
@bors

bors commented May 14, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit 2efd8c6 with merge 501830b...

@bors

bors commented May 14, 2019

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis, status-appveyor
Approved by: oli-obk
Pushing 501830b to master...

@bors bors merged commit 2efd8c6 into rust-lang:master May 14, 2019
@ghost ghost deleted the fix-4019 branch May 18, 2019 10: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.

False negative in or_fn_call pertaining to nested ctors

4 participants