6650252439
Add `#[define_opaques]` attribute and require it for all type-alias-impl-trait sites that register a hidden type Instead of relying on the signature of items to decide whether they are constraining an opaque type, the opaque types that the item constrains must be explicitly listed. A previous version of this PR used an actual attribute, but had to keep the resolved `DefId`s in a side table. Now we just lower to fields in the AST that have no surface syntax, instead a builtin attribute macro fills in those fields where applicable. Note that for convenience referencing opaque types in associated types from associated methods on the same impl will not require an attribute. If that causes problems `#[defines()]` can be used to overwrite the default of searching for opaques in the signature. One wart of this design is that closures and static items do not have generics. So since I stored the opaques in the generics of functions, consts and methods, I would need to add a custom field to closures and statics to track this information. During a T-types discussion we decided to just not do this for now. fixes #131298 |
||
|---|---|---|
| .. | ||
| layout | ||
| abi.rs | ||
| assoc.rs | ||
| common_traits.rs | ||
| consts.rs | ||
| errors.rs | ||
| implied_bounds.rs | ||
| instance.rs | ||
| layout.rs | ||
| lib.rs | ||
| needs_drop.rs | ||
| opaque_types.rs | ||
| representability.rs | ||
| sig_types.rs | ||
| structural_match.rs | ||
| ty.rs | ||