Struct TypeMismatchError

pub struct TypeMismatchError {
    pub expr_with_wrong_type: Expr,
    pub parent_expr: Option<Expr>,
    pub expected_type: ExpectedType,
    pub actual_type: ActualType,
    pub field_path: Path,
    pub additional_error_detail: Vec<String>,
}

Fields

expr_with_wrong_type: Expr

parent_expr: Option<Expr>

expected_type: ExpectedType

actual_type: ActualType

field_path: Path

additional_error_detail: Vec<String>

Implementations

impl TypeMismatchError

pub fn updated_expected_type( &self, expected_type: &AnalysedType, ) -> TypeMismatchError

pub fn at_field(&self, field_name: String) -> TypeMismatchError

pub fn with_actual_inferred_type( expr: &Expr, parent_expr: Option<&Expr>, expected_type: AnalysedType, actual_type: InferredType, ) -> Self

pub fn with_actual_type_kind( expr: &Expr, parent_expr: Option<&Expr>, expected_type: AnalysedType, actual_type: &TypeHint, ) -> Self

Trait Implementations

impl Clone for TypeMismatchError

fn clone(&self) -> TypeMismatchError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeMismatchError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.