-
Notifications
You must be signed in to change notification settings - Fork 5.4k
Attributes missing on ImplSelfOrTrait #7579
Copy link
Copy link
Open
Labels
compilerGeneral compiler. Should eventually become more specific as the issue is triagedGeneral compiler. Should eventually become more specific as the issue is triagedcompiler: frontendEverything to do with type checking, control flow analysis, and everything between parsing and IRgenEverything to do with type checking, control flow analysis, and everything between parsing and IRgen
Description
Metadata
Metadata
Assignees
Labels
compilerGeneral compiler. Should eventually become more specific as the issue is triagedGeneral compiler. Should eventually become more specific as the issue is triagedcompiler: frontendEverything to do with type checking, control flow analysis, and everything between parsing and IRgenEverything to do with type checking, control flow analysis, and everything between parsing and IRgen
Unlike all other
Declarations that have anattributes: : transform::Attributesfield,ImplSelfOrTraitis missing that field. Attributes are not taken over and not available later on in the typed tree.We need to add attributes to
ImplSelfOrTraitas well and include them in later attributes analysis where needed (e.g.,#[allow]).