Struct rustc_hir::Body[−][src]

pub struct Body<'hir> {
    pub params: &'hir [Param<'hir>],
    pub value: Expr<'hir>,
    pub generator_kind: Option<GeneratorKind>,
}
Expand description

The body of a function, closure, or constant value. In the case of a function, the body contains not only the function body itself (which is an expression), but also the argument patterns, since those are something that the caller doesn’t really care about.

Examples

fn foo((x, y): (u32, u32)) -> u32 {
    x + y
}

Here, the Body associated with foo() would contain:

  • an params array containing the (x, y) pattern
  • a value containing the x + y expression (maybe wrapped in a block)
  • generator_kind would be None

All bodies have an owner, which can be accessed via the HIR map using body_owner_def_id().

Fields

params: &'hir [Param<'hir>]value: Expr<'hir>generator_kind: Option<GeneratorKind>

Implementations

impl<'hir> Body<'hir>[src]

pub fn id(&self) -> BodyId[src]

pub fn generator_kind(&self) -> Option<GeneratorKind>[src]

Trait Implementations

impl<'hir> Debug for Body<'hir>[src]

fn fmt(&self, f: &mut Formatter<'_>) -> Result[src]

Formats the value using the given formatter. Read more

Auto Trait Implementations

impl<'hir> !RefUnwindSafe for Body<'hir>

impl<'hir> !Send for Body<'hir>

impl<'hir> !Sync for Body<'hir>

impl<'hir> Unpin for Body<'hir>

impl<'hir> !UnwindSafe for Body<'hir>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, 
[src]

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, 
[src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, 
[src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.