TyCtxt::get_attr
should check that no duplicates are allowed
#100631
Labels
A-attributes
Area: Attributes (`#[…]`, `#![…]`)
C-cleanup
Category: PRs that clean code up or issues documenting cleanup.
E-medium
Call for participation: Medium difficulty. Experience needed to fix: Intermediate.
E-mentor
Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.
get_attr
currently happily ignores any additional attributes in case there are more than one. While this is fine for attributes which don't care about duplicates or emit a warning/error in case there are more than one, this isn't currently checked in the compiler, potentially causing bugs.rust/compiler/rustc_middle/src/ty/mod.rs
Lines 2282 to 2284 in a39bdb1
similar to the check in
has_attr
we should check that the attr declaration inrustc_feature/builtin_attrs.rs
has an acceptable way of dealing with duplicates.rust/compiler/rustc_middle/src/ty/mod.rs
Lines 2287 to 2290 in a39bdb1
in case there are any questions on how to implement this, feel free to open a thread on zulip and pinging me there.
The text was updated successfully, but these errors were encountered: