Trait TypeResolutionContext 

pub trait TypeResolutionContext {
    // Required method
    fn property_ty(&self, _: &PropertyReference) -> &Type;

    // Provided method
    fn arg_type(&self, _index: usize) -> &Type { ... }
}

Required Methods

fn property_ty(&self, _: &PropertyReference) -> &Type

The type of the property.

For reference to function, this is the return type

Provided Methods

fn arg_type(&self, _index: usize) -> &Type

Implementors

impl TypeResolutionContext for ExpressionLoweringCtx<'_>

impl<T> TypeResolutionContext for EvaluationContext<'_, T>