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

Provided Methods

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

Implementors

impl TypeResolutionContext for ExpressionContext<'_>

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