Skip to content

Lint against non-CamelCase trait alias names - #85732

Merged
bors merged 1 commit into
rust-lang:masterfrom
syvb:trait-alias-camelcase-lint
May 27, 2021
Merged

bors merged 1 commit into
rust-lang:masterfrom
syvb:trait-alias-camelcase-lint

Conversation

@syvb

@syvb syvb commented May 27, 2021

Copy link
Copy Markdown
Contributor

Type aliases are linted as such, so (unstable) trait aliases should be treated the same way.

Type aliases are linted as such, so (unstable) trait aliases should be
treated the same way.
@rust-highfive

Copy link
Copy Markdown
Contributor

r? @varkor

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 27, 2021
@syvb syvb changed the title Lint against non-camelCase trait alias names Lint against non-CamelCase trait alias names May 27, 2021
@varkor

varkor commented May 27, 2021

Copy link
Copy Markdown
Contributor

Thanks!

@bors r+

@bors

bors commented May 27, 2021

Copy link
Copy Markdown
Collaborator

📌 Commit edef5bc has been approved by varkor

@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 27, 2021
@bors

bors commented May 27, 2021

Copy link
Copy Markdown
Collaborator

⌛ Testing commit edef5bc with merge 8d1e3d3...

@bors

bors commented May 27, 2021

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-actions
Approved by: varkor
Pushing 8d1e3d3 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label May 27, 2021
@bors
bors merged commit 8d1e3d3 into rust-lang:master May 27, 2021
@rustbot rustbot added this to the 1.54.0 milestone May 27, 2021
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