pub struct CallChangeCallbackFn<'tcx, K> {
f: Box<dyn Fn(CallInfo<'tcx, '_, K>) -> CallChanges<'tcx, K> + 'tcx>,
}Fields§
§f: Box<dyn Fn(CallInfo<'tcx, '_, K>) -> CallChanges<'tcx, K> + 'tcx>Implementations§
Source§impl<'tcx, K> CallChangeCallbackFn<'tcx, K>
impl<'tcx, K> CallChangeCallbackFn<'tcx, K>
pub fn new( f: impl Fn(CallInfo<'tcx, '_, K>) -> CallChanges<'tcx, K> + 'tcx, ) -> Self
Trait Implementations§
Source§impl<'tcx, K: Default> CallChangeCallback<'tcx, K> for CallChangeCallbackFn<'tcx, K>
impl<'tcx, K: Default> CallChangeCallback<'tcx, K> for CallChangeCallbackFn<'tcx, K>
fn on_inline(&self, info: CallInfo<'tcx, '_, K>) -> CallChanges<'tcx, K>
fn root_k(&self, _info: Instance<'tcx>) -> K
fn on_inline_miss( &self, _resolution: Instance<'tcx>, _param_env: TypingEnv<'tcx>, _loc: Location, _under_analysis: Instance<'tcx>, _reason: InlineMissReason, _call_span: Span, )
Auto Trait Implementations§
impl<'tcx, K> Freeze for CallChangeCallbackFn<'tcx, K>
impl<'tcx, K> !RefUnwindSafe for CallChangeCallbackFn<'tcx, K>
impl<'tcx, K> !Send for CallChangeCallbackFn<'tcx, K>
impl<'tcx, K> !Sync for CallChangeCallbackFn<'tcx, K>
impl<'tcx, K> Unpin for CallChangeCallbackFn<'tcx, K>
impl<'tcx, K> !UnwindSafe for CallChangeCallbackFn<'tcx, K>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more