Struct Thir

pub struct Thir<'tcx> {
    pub body_type: BodyTy<'tcx>,
    pub arms: IndexVec<ArmId, Arm<'tcx>>,
    pub blocks: IndexVec<BlockId, Block>,
    pub exprs: IndexVec<ExprId, Expr<'tcx>>,
    pub stmts: IndexVec<StmtId, Stmt<'tcx>>,
    pub params: IndexVec<ParamId, Param<'tcx>>,
}

A container for a THIR body.

This can be indexed directly by any THIR index (e.g. ExprId).

Fields

body_type: BodyTy<'tcx>

arms: IndexVec<ArmId, Arm<'tcx>>

blocks: IndexVec<BlockId, Block>

exprs: IndexVec<ExprId, Expr<'tcx>>

stmts: IndexVec<StmtId, Stmt<'tcx>>

params: IndexVec<ParamId, Param<'tcx>>

Implementations

impl<'tcx> Thir<'tcx>

pub fn new(body_type: BodyTy<'tcx>) -> Thir<'tcx>

Trait Implementations

impl<'tcx> Clone for Thir<'tcx>

fn clone(&self) -> Thir<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for Thir<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for Thir<'tcx>

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher, )

impl<'tcx> Index<ArmId> for Thir<'tcx>

type Output = Arm<'tcx>

The returned type after indexing.

fn index(&self, index: ArmId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<'tcx> Index<BlockId> for Thir<'tcx>

type Output = Block

The returned type after indexing.

fn index(&self, index: BlockId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<'tcx> Index<ExprId> for Thir<'tcx>

type Output = Expr<'tcx>

The returned type after indexing.

fn index(&self, index: ExprId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<'tcx> Index<ParamId> for Thir<'tcx>

type Output = Param<'tcx>

The returned type after indexing.

fn index(&self, index: ParamId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<'tcx> Index<StmtId> for Thir<'tcx>

type Output = Stmt<'tcx>

The returned type after indexing.

fn index(&self, index: StmtId) -> &Self::Output

Performs the indexing (container[index]) operation.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 136 bytes