Struct DetachedSpecsCollector 

pub(super) struct DetachedSpecsCollector<'a, 'sess, 'tcx> {
    inner: &'a mut SpecCollector<'sess, 'tcx>,
    id_resolver: HashMap<NodeId, LookupRes>,
    impl_resolver: TraitImplResolver,
}

Fields

inner: &'a mut SpecCollector<'sess, 'tcx>

id_resolver: HashMap<NodeId, LookupRes>

impl_resolver: TraitImplResolver

Implementations

impl<'a, 'sess, 'tcx> DetachedSpecsCollector<'a, 'sess, 'tcx>

pub(super) fn collect( inner: &'a mut SpecCollector<'sess, 'tcx>, attrs: &mut FluxAttrs, module_id: LocalDefId, ) -> Result<(), ErrorGuaranteed>

fn run( &mut self, detached_specs: DetachedSpecs, def_id: LocalDefId, ) -> Result<(), ErrorGuaranteed>

fn resolve_path_kind( &mut self, resolver: &ScopeResolver, path: &ExprPath, kind: &DetachedItemKind, ) -> Result<(), ErrorGuaranteed>

fn resolve( &mut self, detached_specs: &DetachedSpecs, def_id: LocalDefId, ) -> Result<(), ErrorGuaranteed>

fn unwrap_def_id( &self, def_id: &DefId, ) -> Result<Option<LocalDefId>, ErrorGuaranteed>

fn lookup(&mut self, item: &DetachedItem) -> Result<LocalDefId, ErrorGuaranteed>

fn attach(&mut self, item: DetachedItem) -> Result<(), ErrorGuaranteed>

fn collect_trait( &mut self, owner_id: OwnerId, node_id: NodeId, attrs: Vec<Attr>, trait_def: DetachedTrait, ) -> Result<(), ErrorGuaranteed>

fn collect_trait_impl( &mut self, owner_id: OwnerId, node_id: NodeId, attrs: Vec<Attr>, trait_impl: DetachedTraitImpl, ) -> Result<(), ErrorGuaranteed>

fn collect_assoc_methods( &mut self, methods: Vec<DetachedItem<FnSig>>, assoc_items: impl Iterator<Item = &'tcx AssocItem>, insert_item: impl FnMut(&mut Self, OwnerId, DetachedItem<FnSig>) -> Result<(), ErrorGuaranteed>, ) -> Result<(), ErrorGuaranteed>