Struct DetachedSpecsCollector 

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

Fields

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

id_resolver: HashMap<NodeId, DefId>

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, ) -> Result<(), ErrorGuaranteed>

fn run( &mut self, detached_specs: DetachedSpecs, def_id: LocalDefId, ) -> 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: &Item) -> Result<LocalDefId, ErrorGuaranteed>

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

fn collect_fn_spec( &mut self, owner_id: OwnerId, fn_spec: FnSpec, ) -> Result<(), ErrorGuaranteed>

fn collect_struct( &mut self, span: Span, owner_id: OwnerId, struct_def: StructDef, ) -> Result<(), ErrorGuaranteed>

fn collect_enum( &mut self, span: Span, owner_id: OwnerId, enum_def: EnumDef, ) -> Result<(), ErrorGuaranteed>

fn collect_trait( &mut self, span: Span, owner_id: OwnerId, trait_def: DetachedTrait, ) -> Result<(), ErrorGuaranteed>

fn collect_trait_impl( &mut self, owner_id: OwnerId, trait_impl: DetachedTraitImpl, span: Span, ) -> Result<(), ErrorGuaranteed>

fn collect_assoc_methods( &mut self, methods: Vec<Item<FnSpec>>, assoc_items: impl Iterator<Item = &'tcx AssocItem>, ) -> Result<(), ErrorGuaranteed>

fn err_multiple_specs(&mut self, def_id: DefId, span: Span) -> ErrorGuaranteed