Skip to content

Remove unused Extra associated types#862

Merged
bors-servo merged 3 commits intorust-lang:masterfrom
fitzgen:remove-unused-extra
Jul 27, 2017
Merged

Remove unused Extra associated types#862
bors-servo merged 3 commits intorust-lang:masterfrom
fitzgen:remove-unused-extra

Conversation

@fitzgen
Copy link
Member

@fitzgen fitzgen commented Jul 27, 2017

fitzgen added 3 commits July 27, 2017 14:07
This is a throwback from the old, ad-hoc computation before we used the fixpoint
analysis.
Similar to `HasVtable::Extra`, it is no longer needed.
@emilio
Copy link
Contributor

emilio commented Jul 27, 2017

@bors-servo r+

@bors-servo
Copy link

📌 Commit 66f600e has been approved by emilio

@bors-servo
Copy link

⌛ Testing commit 66f600e with merge 0fab51e...

bors-servo pushed a commit that referenced this pull request Jul 27, 2017
Remove unused `Extra` associated types

r? @photoszzt or @emilio
@bors-servo
Copy link

☀️ Test successful - status-travis
Approved by: emilio
Pushing 0fab51e to master...

@bors-servo bors-servo merged commit 66f600e into rust-lang:master Jul 27, 2017
@fitzgen fitzgen deleted the remove-unused-extra branch July 27, 2017 22:30
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.

3 participants