Stream: t-compiler

Topic: lint groups


QuietMisdreavus (Dec 10 2018 at 19:14, on Zulip):

is it possible to define a lint group in librustc? i want to take the rustdoc lints and group them together

oli (Dec 10 2018 at 19:17, on Zulip):

Lint groups are defined in https://github.com/rust-lang/rust/blob/1137d29d5e551e377579c5a601fe7c444057d00c/src/librustc_lint/lib.rs#L163

oli (Dec 10 2018 at 19:17, on Zulip):

Is that what you were looking for?

QuietMisdreavus (Dec 10 2018 at 19:18, on Zulip):

i guess so - it's possible to just make a new group there, and source all the actual lints from librustc instead of librustc_lint?

QuietMisdreavus (Dec 10 2018 at 19:43, on Zulip):

eh, that's what i wound up doing

QuietMisdreavus (Dec 10 2018 at 19:44, on Zulip):

on a related note, how do tool lints work? I realized that we could just move these lints into tool lints as well (though we'd break people who are already using those lint names >_>)

oli (Dec 11 2018 at 07:13, on Zulip):

no need to break them. We already have a renaming scheme

oli (Dec 11 2018 at 07:13, on Zulip):

You probably need an RFC for a new tool lint name

QuietMisdreavus (Dec 11 2018 at 14:35, on Zulip):

nah, rustdoc was already pre-reserved in the original tool attributes RFC

oli (Dec 11 2018 at 14:37, on Zulip):

ah perfect

Last update: Nov 20 2019 at 01:10UTC