Type Alias ThirBody

pub type ThirBody = Expr;

Aliased Type

pub struct ThirBody {
    pub ty: Ty,
    pub span: Span,
    pub contents: Box<ExprKind>,
    pub hir_id: Option<(usize, usize)>,
    pub attributes: Vec<Attribute>,
}

Fields

ty: Ty

span: Span

contents: Box<ExprKind>

hir_id: Option<(usize, usize)>

attributes: Vec<Attribute>

Trait Implementations

impl IsBody for ThirBody

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

fn from_mir<'tcx, S: UnderOwnerState<'tcx>>( _s: &S, _body: Body<'tcx>, ) -> Option<Self>

Reuse a MIR body we already got. Panic if that’s impossible.