Skip to content

Conversation

varkor
Copy link
Contributor

@varkor varkor commented Apr 23, 2019

The so-called "CommonTypes" contains more than just types.

r? @eddyb

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

eddyb commented Apr 23, 2019

cc @rust-lang/compiler I was thinking tcx.builtin: Builtin might also work.
Or we could have tcx.types, tcx.lifetimes, tcx.consts, etc.

@oli-obk
Copy link
Contributor

oli-obk commented Apr 23, 2019

I like grouping them in their own fields.

@bors

This comment has been minimized.

@varkor varkor force-pushed the commontypes-to-common branch from a79e53b to 7261bd8 Compare April 25, 2019 21:05
@varkor
Copy link
Contributor Author

varkor commented Apr 25, 2019

I've changed it so that they're now grouped by fields: tcx.types and tcx.lifetimes (soon to be joined by tcx.consts).

@varkor varkor changed the title Rename CommonTypes to Common Split CommonTypes into CommonTypes and CommonLifetimes Apr 25, 2019
@eddyb
Copy link
Member

eddyb commented May 1, 2019

cc @nikomatsakis This is where "loans" would be nicer because it'd be shorter.

@bors r+

@bors
Copy link
Collaborator

bors commented May 1, 2019

📌 Commit 7261bd8 has been approved by eddyb

@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-review Status: Awaiting review from the assignee but also interested parties. labels May 1, 2019
@bors
Copy link
Collaborator

bors commented May 1, 2019

⌛ Testing commit 7261bd8 with merge 47e0803...

bors added a commit that referenced this pull request May 1, 2019
Split `CommonTypes` into `CommonTypes` and `CommonLifetimes`

The so-called "`CommonTypes`" contains more than just types.

r? @eddyb
@bors
Copy link
Collaborator

bors commented May 1, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: eddyb
Pushing 47e0803 to master...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants