Struct At 

pub struct At<'a, 'db> {
    pub infcx: &'a InferCtxt<'db>,
    pub cause: &'a ObligationCause,
    pub param_env: ParamEnv<'db>,
}

Fields

infcx: &'a InferCtxt<'db>

cause: &'a ObligationCause

param_env: ParamEnv<'db>

Implementations

impl<'a, 'db> At<'a, 'db>

pub fn sup<T>( self, expected: T, actual: T, ) -> Result<InferOk<'db, ()>, TypeError<DbInterner<'db>>>

where T: ToTrace<'db>,

Makes actual <: expected. For example, if type-checking a call like foo(x), where foo: fn(i32), you might have sup(i32, x), since the “expected” type is the type that appears in the signature.

pub fn sub<T>( self, expected: T, actual: T, ) -> Result<InferOk<'db, ()>, TypeError<DbInterner<'db>>>

where T: ToTrace<'db>,

Makes expected <: actual.

pub fn eq<T>( self, expected: T, actual: T, ) -> Result<InferOk<'db, ()>, TypeError<DbInterner<'db>>>

where T: Relate<DbInterner<'db>>,

Makes expected == actual.

pub fn relate<T>( self, expected: T, variance: Variance, actual: T, ) -> Result<InferOk<'db, ()>, TypeError<DbInterner<'db>>>

where T: ToTrace<'db>,

pub fn deeply_normalize<T>( self, value: T, ) -> Result<T, Vec<NextSolverError<'db>>>

where T: TypeFoldable<DbInterner<'db>>,

Deeply normalizes value, replacing all aliases which can by normalized in the current environment. This errors in case normalization fails or is ambiguous.

pub fn lub<T>( self, expected: T, actual: T, ) -> Result<InferOk<'db, T>, TypeError<DbInterner<'db>>>

where T: ToTrace<'db>,

Computes the least-upper-bound, or mutual supertype, of two values. The order of the arguments doesn’t matter, but since this can result in an error (e.g., if asked to compute LUB of u32 and i32), it is meaningful to call one of them the “expected type”.

Trait Implementations

impl<'a, 'db> Clone for At<'a, 'db>

fn clone(&self) -> At<'a, 'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, 'db> Copy for At<'a, 'db>