Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

subscriber: rename trait CollectorExt to CollectExt #1115

Merged

Conversation

salewski
Copy link
Contributor

This pull request renames the 'CollectorExt' trait to 'CollectExt'. The trait being augmented is the 'Collect' trait, so name the trait that extends is 'CollectExt'.

This is in keeping with the extension trait naming conventions documented in Rust RFC-445, and also with the spirit of the discussion in tokio-rs/tracing PR #1015.

@salewski salewski requested review from hawkw, jtescher and a team as code owners November 20, 2020 22:57
The trait being augmented is the 'Collect' trait, so name the trait
that extends it is 'CollectExt'.

This is in keeping with the extension trait naming conventions
documented in Rust RFC-445, and also with the spirit of the
discussion in tokio-rs/tracing PR tokio-rs#1015.
@salewski salewski force-pushed the ads/rename-CollectorExt-to-CollectExt branch from 6019cff to 835a81c Compare November 20, 2020 23:00
@davidbarsky davidbarsky merged commit b3c1e0e into tokio-rs:master Nov 21, 2020
@davidbarsky
Copy link
Member

Thanks for this fix!

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