Skip to content

Use InternedString rather than Name for RegionParameterDef#49913

Merged
bors merged 1 commit intorust-lang:masterfrom
varkor:RegionParameterDef-InternedString
Apr 14, 2018
Merged

Use InternedString rather than Name for RegionParameterDef#49913
bors merged 1 commit intorust-lang:masterfrom
varkor:RegionParameterDef-InternedString

Conversation

@varkor
Copy link
Contributor

@varkor varkor commented Apr 12, 2018

This makes it consistent with TypeParameterDef.

r? @eddyb

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 12, 2018
@eddyb
Copy link
Member

eddyb commented Apr 12, 2018

LGTM. r? @michaelwoerister

@varkor varkor force-pushed the RegionParameterDef-InternedString branch 2 times, most recently from 571b2d1 to e2f880d Compare April 12, 2018 23:00
@rust-lang rust-lang deleted a comment from rust-highfive Apr 12, 2018
@rust-lang rust-lang deleted a comment from rust-highfive Apr 12, 2018
@michaelwoerister
Copy link
Member

michaelwoerister commented Apr 13, 2018

I'm fine with this too. @petrochenkov might want to take a look regarding hygiene implications.

@michaelwoerister
Copy link
Member

michaelwoerister commented Apr 13, 2018

r? @petrochenkov

@petrochenkov
Copy link
Contributor

petrochenkov commented Apr 13, 2018

r=me after fixing compilation failures in rustc_driver

@petrochenkov petrochenkov added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 13, 2018
@varkor varkor mentioned this pull request Apr 13, 2018
Open
@varkor
Use InternedString rather than Name for RegionParameterDef
6234d41 
This makes it consistent with TypeParameterDef.
@varkor varkor force-pushed the RegionParameterDef-InternedString branch from e2f880d to 6234d41 Compare April 13, 2018 17:41
@rust-lang rust-lang deleted a comment from rust-highfive Apr 13, 2018
@petrochenkov
Copy link
Contributor

petrochenkov commented Apr 13, 2018

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Apr 13, 2018

📌 Commit 6234d41 has been approved by petrochenkov

@bors bors 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-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Apr 13, 2018
kennytm added a commit to kennytm/rust that referenced this pull request Apr 14, 2018
@kennytm
Rollup merge of rust-lang#49913 - varkor:RegionParameterDef-InternedS…
6f629d3 
…tring, r=petrochenkov

Use InternedString rather than Name for RegionParameterDef

This makes it consistent with `TypeParameterDef`.
@kennytm kennytm mentioned this pull request Apr 14, 2018
Merged
bors added a commit that referenced this pull request Apr 14, 2018
@bors
Auto merge of #49939 - kennytm:rollup, r=kennytm
21dae95 
Rollup of 14 pull requests

Successful merges: #49908, #49876, #49916, #49951, #49465, #49922, #49866, #49915, #49886, #49913, #49852, #49958, #49871, #49864

Failed merges:
@bors bors merged commit 6234d41 into rust-lang:master Apr 14, 2018
@varkor varkor deleted the RegionParameterDef-InternedString branch April 14, 2018 16:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@petrochenkov petrochenkov

Labels

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

6 participants

@varkor @eddyb @michaelwoerister @petrochenkov @bors @rust-highfive