Skip to content

Conversation

ghost
Copy link

@ghost ghost commented Oct 29, 2018

No description provided.

@ghost ghost changed the title Fix lint_without_lint_pass WIP: Fix lint_without_lint_pass Oct 29, 2018
@ghost
Copy link
Author

ghost commented Oct 29, 2018

Looks like I broke something. I'll try again tomorrow.

@flip1995
Copy link
Member

Not only the declared lint collection was broken, but also the registered lint collection. The old code of the registered lint collection seemed a little bit weird to me, so I decided to rewrite it.

@flip1995
Copy link
Member

Oh @mikerite sorry I stole this from you, but this lint triggered or didn't trigger in weird ways and I wanted to look into this myself. cc #3367 (comment)

@flip1995 flip1995 changed the title WIP: Fix lint_without_lint_pass Fix lint_without_lint_pass Oct 29, 2018
@flip1995 flip1995 added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Oct 29, 2018
@flip1995 flip1995 mentioned this pull request Oct 29, 2018
2 tasks
@ghost
Copy link
Author

ghost commented Oct 30, 2018

No problem. Your changes look good to me.

@phansch
Copy link
Contributor

phansch commented Oct 31, 2018

bors r+

bors bot added a commit that referenced this pull request Oct 31, 2018
3378: Fix lint_without_lint_pass r=phansch a=mikerite



Co-authored-by: Michael Wright <[email protected]>
Co-authored-by: flip1995 <[email protected]>
@bors
Copy link
Contributor

bors bot commented Oct 31, 2018

@bors bors bot merged commit 3d84ffb into rust-lang:master Oct 31, 2018
@ghost ghost deleted the lint-pass-fix branch November 14, 2018 04:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants