| use rustc_data_structures::fx::FxIndexMap; |
| use rustc_hir::attrs::{AttributeKind, EiiDecl, EiiImpl, EiiImplResolution}; |
| use rustc_hir::def_id::DefId; |
| use rustc_hir::find_attr; |
| use rustc_middle::query::LocalCrate; |
| use rustc_middle::ty::TyCtxt; |
| |
| // basically the map below but flattened out |
| pub(crate) type EiiMapEncodedKeyValue = (DefId, (EiiDecl, Vec<(DefId, EiiImpl)>)); |
| |
| pub(crate) type EiiMap = FxIndexMap< |
| DefId, // the defid of the foreign item associated with the eii |
| ( |
| // the corresponding declaration |
| EiiDecl, |
| // all the given implementations, indexed by defid. |
| // We expect there to be only one, but collect them all to give errors if there are more |
| // (or if there are none) in the final crate we build. |
| FxIndexMap<DefId, EiiImpl>, |
| ), |
| >; |
| |
| pub(crate) fn collect<'tcx>(tcx: TyCtxt<'tcx>, LocalCrate: LocalCrate) -> EiiMap { |
| let mut eiis = EiiMap::default(); |
| |
| // iterate over all items in the current crate |
| for id in tcx.hir_crate_items(()).eiis() { |
| for i in |
| find_attr!(tcx.get_all_attrs(id), AttributeKind::EiiImpls(e) => e).into_iter().flatten() |
| { |
| let decl = match i.resolution { |
| EiiImplResolution::Macro(macro_defid) => { |
| // find the decl for this one if it wasn't in yet (maybe it's from the local crate? not very useful but not illegal) |
| let Some(decl) = find_attr!(tcx.get_all_attrs(macro_defid), AttributeKind::EiiDeclaration(d) => *d) |
| else { |
| // skip if it doesn't have eii_declaration (if we resolved to another macro that's not an EII) |
| tcx.dcx() |
| .span_delayed_bug(i.span, "resolved to something that's not an EII"); |
| continue; |
| }; |
| decl |
| } |
| EiiImplResolution::Known(decl) => decl, |
| EiiImplResolution::Error(_eg) => continue, |
| }; |
| |
| // FIXME(eii) remove extern target from encoded decl |
| eiis.entry(decl.foreign_item) |
| .or_insert_with(|| (decl, Default::default())) |
| .1 |
| .insert(id.into(), *i); |
| } |
| |
| // if we find a new declaration, add it to the list without a known implementation |
| if let Some(decl) = |
| find_attr!(tcx.get_all_attrs(id), AttributeKind::EiiDeclaration(d) => *d) |
| { |
| eiis.entry(decl.foreign_item).or_insert((decl, Default::default())); |
| } |
| } |
| |
| eiis |
| } |