Trait aquascope_front::plugin::AquascopeAnalysis

pub trait AquascopeAnalysis: Sized + Send + Sync {
    type Output: Serialize + Send + Sync;

    // Required method
    fn analyze(
        &mut self,
        tcx: TyCtxt<'_>,
        id: BodyId
    ) -> AquascopeResult<Self::Output>;
}

Required Associated Types

type Output: Serialize + Send + Sync

Required Methods

fn analyze( &mut self, tcx: TyCtxt<'_>, id: BodyId ) -> AquascopeResult<Self::Output>

Object Safety

This trait is not object safe.

Implementors

impl<F, O> AquascopeAnalysis for F

where F: for<'tcx> Fn<(TyCtxt<'tcx>, BodyId), Output = AquascopeResult<O>> + Send + Sync, O: Serialize + Send + Sync,

type Output = O