Struct ExprResult 

pub(crate) struct ExprResult<'db> {
    pub temporaries: Vec<Temporary<'db>>,
    pub span: Span<'db>,
    pub kind: ExprResultKind<'db>,
}

Fields

temporaries: Vec<Temporary<'db>>

List of Temporary variables created by this expression.

span: Span<'db>

Span of the expression

kind: ExprResultKind<'db>

The primary result from translating an expression. Note that an ast-expr can result in many kinds of things.

Implementations

impl<'db> ExprResult<'db>

pub async fn from_name_resolution( env: &mut Env<'db>, res: NameResolution<'db>, span: Span<'db>, ) -> Self

Create a result based on lexical name resolution.

pub fn from_place_expr( db: &'db dyn Db, expr: SymPlaceExpr<'db>, temporaries: Vec<Temporary<'db>>, ) -> Self

pub fn from_expr( db: &'db dyn Db, expr: SymExpr<'db>, temporaries: Vec<Temporary<'db>>, ) -> Self

pub fn into_expr_with_enclosed_temporaries( self, env: &mut Env<'db>, ) -> SymExpr<'db>

Convert this result into an expression, with let ... in statements inserted for temporaries.

pub fn ty(&self, env: &mut Env<'db>) -> SymTy<'db>

Computes the type of this, treating it as an expression. Reports an error if this names something that cannot be made into an expression.

pub fn into_place_expr( self, env: &mut Env<'db>, temporaries: &mut Vec<Temporary<'db>>, ) -> SymPlaceExpr<'db>

pub fn into_expr( self, env: &mut Env<'db>, temporaries: &mut Vec<Temporary<'db>>, ) -> SymExpr<'db>

Trait Implementations

impl<'db> Clone for ExprResult<'db>

fn clone(&self) -> ExprResult<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Err<'db> for ExprResult<'db>

fn err(db: &'db dyn Db, r: Reported) -> Self

impl<'db> Serialize for ExprResult<'db>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.