Skip to content

Remove ty::Predicate::Equate and ty::EquatePredicate (dead code) - #48698

Merged
alexcrichton merged 1 commit into
rust-lang:masterfrom
ishitatsuyuki:burn-equate
Mar 8, 2018
Merged

Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)#48698
alexcrichton merged 1 commit into
rust-lang:masterfrom
ishitatsuyuki:burn-equate

Conversation

@ishitatsuyuki

@ishitatsuyukiishitatsuyuki commented Mar 3, 2018

Copy link
Copy Markdown
Contributor

r? @nikomatsakis

I also killed the EquatePredicate subsystem. Does it look fine?

Close#48670

@rust-highfiverust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 3, 2018
@ishitatsuyuki

ishitatsuyuki commented Mar 4, 2018

Copy link
Copy Markdown
ContributorAuthor

CI should be green, ready for review.

@nikomatsakis

nikomatsakis commented Mar 5, 2018

Copy link
Copy Markdown
Contributor

@bors r+ -- nice!

@bors

bors commented Mar 5, 2018

Copy link
Copy Markdown
Collaborator

📌 Commit 517f861 has been approved by nikomatsakis

@borsbors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Mar 5, 2018
@alexcrichtonalexcrichton mentioned this pull request Mar 7, 2018
Merged
alexcrichton added a commit to alexcrichton/rust that referenced this pull request Mar 7, 2018
@alexcrichton
Rollup merge ofrust-lang#48698- ishitatsuyuki:burn-equate, r=nikoma…
a70b570
…tsakis
Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)
r? @nikomatsakis
I also killed the EquatePredicate subsystem. Does it look fine?
Closerust-lang#48670
bors added a commit that referenced this pull request Mar 7, 2018
@bors
Auto merge of#48806- alexcrichton:rollup, r=alexcrichton
6675913
Rollup of 9 pull requests
- Successful merges: #48511, #48549, #48618, #48624, #48651, #48698, #48778, #48787, #48802
- Failed merges: #48669, #48710
alexcrichton added a commit to alexcrichton/rust that referenced this pull request Mar 7, 2018
@alexcrichton
Rollup merge ofrust-lang#48698- ishitatsuyuki:burn-equate, r=nikoma…
584a28f
…tsakis
Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)
r? @nikomatsakis
I also killed the EquatePredicate subsystem. Does it look fine?
Closerust-lang#48670
bors added a commit that referenced this pull request Mar 7, 2018
@bors
Auto merge of#48806- alexcrichton:rollup, r=alexcrichton
29d7fc1
Rollup of 9 pull requests
- Successful merges: #48511, #48549, #48618, #48624, #48651, #48698, #48778, #48787, #48802
- Failed merges: #48669, #48710
bors added a commit that referenced this pull request Mar 7, 2018
@bors
Auto merge of#48806- alexcrichton:rollup, r=alexcrichton
5430c0c
Rollup of 9 pull requests
- Successful merges: #48511, #48549, #48618, #48624, #48651, #48698, #48778, #48787, #48802
- Failed merges: #48669, #48710
@alexcrichton
alexcrichton merged commit 517f861 into rust-lang:masterMar 8, 2018
@ishitatsuyuki
ishitatsuyuki deleted the burn-equate branch July 15, 2018 13:25
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@nikomatsakisnikomatsakis

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@ishitatsuyuki@nikomatsakis@bors@alexcrichton@rust-highfive