Trait hax_frontend_exporter::body::module::IsBody

source ·
pub trait IsBody:
    Sized
    + Clone
    + 'static {
    // Required method
    fn body<'tcx, S: UnderOwnerState<'tcx>>(did: RLocalDefId, s: &S) -> Self;
}

Required Methods§

source

fn body<'tcx, S: UnderOwnerState<'tcx>>(did: RLocalDefId, s: &S) -> Self

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl IsBody for ()

source§

fn body<'tcx, S: UnderOwnerState<'tcx>>(_did: RLocalDefId, _s: &S) -> Self

source§

impl<A: IsBody, B: IsBody> IsBody for (A, B)

source§

fn body<'tcx, S: UnderOwnerState<'tcx>>(did: RLocalDefId, s: &S) -> Self

Implementors§

source§

impl IsBody for ThirBody

source§

impl<MirKind: IsMirKind + Clone + 'static> IsBody for MirBody<MirKind>