Trait CheckExprInEnv 

trait CheckExprInEnv<'db> {
    type Output;

    // Required method
    async fn check_in_env(
        &self,
        env: &mut Env<'db>,
        live_after: LivePlaces,
    ) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

async fn check_in_env( &self, env: &mut Env<'db>, live_after: LivePlaces, ) -> Self::Output

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'db> CheckExprInEnv<'db> for AstBlock<'db>

type Output = SymExpr<'db>

async fn check_in_env( &self, env: &mut Env<'db>, live_after: LivePlaces, ) -> Self::Output

impl<'db> CheckExprInEnv<'db> for AstExpr<'db>

type Output = ExprResult<'db>

async fn check_in_env( &self, env: &mut Env<'db>, live_after: LivePlaces, ) -> Self::Output

Implementors