flowistry_pdg_construction::callback

Trait CallChangeCallback

Source
pub trait CallChangeCallback<'tcx> {
    // Required method
    fn on_inline(&self, info: CallInfo<'tcx, '_>) -> CallChanges<'tcx>;

    // Provided method
    fn on_inline_miss(
        &self,
        _resolution: Instance<'tcx>,
        _param_env: TypingEnv<'tcx>,
        _loc: Location,
        _under_analysis: Instance<'tcx>,
        _reason: InlineMissReason,
        _call_span: Span,
    ) { ... }
}

Required Methods§

Source

fn on_inline(&self, info: CallInfo<'tcx, '_>) -> CallChanges<'tcx>

Provided Methods§

Source

fn on_inline_miss( &self, _resolution: Instance<'tcx>, _param_env: TypingEnv<'tcx>, _loc: Location, _under_analysis: Instance<'tcx>, _reason: InlineMissReason, _call_span: Span, )

Implementors§