Struct rustc_mir_build::thir::Expr

pub(crate) struct Expr<'tcx> {
    pub(crate) ty: Ty<'tcx>,
    pub(crate) temp_lifetime: Option<Scope>,
    pub(crate) span: Span,
    pub(crate) kind: ExprKind<'tcx>,
}

The Thir trait implementor lowers their expressions (&'tcx H::Expr) into instances of this Expr enum. This lowering can be done basically as lazily or as eagerly as desired: every recursive reference to an expression in this enum is an ExprRef<'tcx>, which may in turn be another instance of this enum (boxed), or else an unlowered &'tcx H::Expr. Note that instances of Expr are very short-lived. They are created by Thir::to_expr, analyzed and converted into MIR, and then discarded.

If you compare Expr to the full compiler AST, you will see it is a good bit simpler. In fact, a number of the more straight-forward MIR simplifications are already done in the impl of Thir. For example, method calls and overloaded operators are absent: they are expected to be converted into Expr::Call instances.

Fields

ty: Ty<'tcx>

type of this expression

temp_lifetime: Option<Scope>

lifetime of this expression if it should be spilled into a temporary; should be None only if in a constant context

span: Span

span of the expression in the source

kind: ExprKind<'tcx>

kind of expression

Trait Implementations

impl<'tcx> Clone for Expr<'tcx>

pub fn clone(&self) -> Expr<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for Expr<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> EvalInto<'tcx> for Expr<'tcx>

pub(in build) fn eval_into(
    self,
    builder: &mut Builder<'_, 'tcx>,
    destination: Place<'tcx>,
    block: BasicBlock
) -> BlockAnd<()>

impl<'tcx> Mirror<'tcx> for Expr<'tcx>

type Output = Expr<'tcx>

pub(crate) fn make_mirror(self, _: &mut Cx<'_, 'tcx>) -> Expr<'tcx>

impl<'tcx> ToRef for Expr<'tcx>

type Output = ExprRef<'tcx>

pub(crate) fn to_ref(self) -> ExprRef<'tcx>