[Feat]: Add marker::unknown_lints
lint for marker aware name handling
#291
Labels
A-marker-lints
Area: Lints for the marker API (marker_lints crate)
C-enhancement
Category: New feature or request
E-good-first-issue
Participation: Good for newcomers
S-blocked
Status: Blocked
Summary
The
unknown_lints
lint from rustc is useful, for tools, which always have a static or increasing set of sets. Marker is a bit different, since it loads lint crates with lints, meaning that the set of lints is not static and might change between every run.When we run Marker, I would like to replace the default
unknown_lints
lint with a marker version, likemarker::unknown_lints
, that is aware of Marker's context and lint naming structure. Since #288, lints have the following naming convention:marker::
prefixThe lint would check lints in lint level attributes. It would run the following checks on the lint name:
marker::
prefix. Rustc can handle that during normal compilation.marker::
prefix, it checks if the specified lint crate is loaded.Then we would allow the rustc version of the lint via console arguments
-A unknown_lints
when we run Marker.One thing we have to decide, is where we want to store such buildin lints. One option would be another lint crate, or we just store them in
marker_adapter
. If you want to pickup this issue, just drop a small question in the issue, and we'll make a decision then :)This issue is currently blocked, since the API doesn't provide a representation for attributes. See #51
Inspired by a discussion in #283
The text was updated successfully, but these errors were encountered: