Trait hax_frontend_exporter::IsBody

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

Required Methods

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

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl IsBody for ()

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

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

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

Implementors

impl IsBody for ThirBody

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