Trait CallChangeCallback

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

    // 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

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

fn root_k(&self, info: Instance<'tcx>) -> K

Provided Methods

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

Implementors

impl<'tcx, K: Default> CallChangeCallback<'tcx, K> for CallChangeCallbackFn<'tcx, K>

impl<'tcx, K: Default> CallChangeCallback<'tcx, K> for DefaultCallback