Trait CheckTyInEnv 

trait CheckTyInEnv<'db> {
    type Output;

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

Check an expression in a full environment. This is an async operation – it may block if insufficient inference data is available.

Required Associated Types

type Output

Required Methods

async fn check_in_env(&self, env: &mut Env<'db>) -> 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> CheckTyInEnv<'db> for AstGenericTerm<'db>

type Output = SymGenericTerm<'db>

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

impl<'db> CheckTyInEnv<'db> for AstPerm<'db>

type Output = SymPerm<'db>

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

impl<'db> CheckTyInEnv<'db> for AstTy<'db>

type Output = SymTy<'db>

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

Implementors

impl<'db> CheckTyInEnv<'db> for SymTy<'db>

type Output = SymTy<'db>