Struct PreparedEnv 

pub struct PreparedEnv<'db> {
    pub env: Env<'db>,
    pub input_symbols: Vec<SymVariable<'db>>,
    pub input_tys: Vec<SymTy<'db>>,
    pub output_ty_body: SymTy<'db>,
    pub output_ty_caller: SymTy<'db>,
    pub where_clauses: Vec<SymWhereClause<'db>>,
}

Fields

env: Env<'db>

The env that should be used to type check the body

input_symbols: Vec<SymVariable<'db>>

The generic variables declared on the fn

input_tys: Vec<SymTy<'db>>

The types of the fn inputs

output_ty_body: SymTy<'db>

The return type the block should generate. This is the type that the user wrote. In the case of an async fn, this is not a future.

output_ty_caller: SymTy<'db>

The return type of the fn from the perspective of the caller. For an async fn, this is a future.

where_clauses: Vec<SymWhereClause<'db>>

Where clauses in scope

Trait Implementations

impl<'db> Debug for PreparedEnv<'db>

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

Formats the value using the given formatter.