Proof of Concept: add `#[defines]` attribute and require it for all type-alias-impl-trait sites that register a hidden type#128440

Draft

oli-obk wants to merge 2 commits intorust-lang:masterfrom oli-obk:defines

+2,227-1,947

Commits on Dec 18, 2024

Implement dummy defines attribute that can only avoid adding anything from the signature to the list of opaques that are being defined
oli-obk
committed
Implement #[defines] attribute for consts and functions.
oli-obk
committed