Enum TypeCheckerError 

pub enum TypeCheckerError {
    Formatted(Formatted),
    Backtraced(Backtraced),
}

Variants

Formatted(Formatted)

Backtraced(Backtraced)

Implementations

impl TypeCheckerError

pub fn invalid_assignment_target(target: impl Display, span: Span) -> Self

For when the type checker encountered an invalid assignment target.

pub fn cannot_assign_to_const_input(input: impl Display, span: Span) -> Self

For when the user tries to assign to a const input.

pub fn cannot_assign_to_const_var(var: impl Display, span: Span) -> Self

For when the user tries to assign to a const input.

pub fn type_should_be( type_: impl Display, expected: impl Display, span: Span, ) -> Self

For when the user tries to assign to a const input.

pub fn could_not_determine_type(expr: impl Display, span: Span) -> Self

For when the type checker cannot determine the type of an expression.

pub fn unknown_sym(kind: impl Display, sym: impl Display, span: Span) -> Self

For when the user tries to return a unknown variable.

pub fn incorrect_num_args_to_call( expected: impl Display, received: impl Display, span: Span, ) -> Self

For when the user tries calls a function with the incorrect number of args.

pub fn expected_one_type_of( expected: impl Display, received: impl Display, span: Span, ) -> Self

For when one of the following types was expected.

pub fn invalid_int_value( value: impl Display, type_: impl Display, span: Span, ) -> Self

For when an integer is not in a valid range. Also repurposing for when a group value is not valid.

pub fn invalid_core_function( struct_: impl Display, function: impl Display, span: Span, ) -> Self

For when an invalid core function is used.

pub fn core_type_name_conflict(type_: impl Display, span: Span) -> Self

For when a struct is created with the same name as a core type.

pub fn function_has_no_return(func: impl Display, span: Span) -> Self

For when a function doesn’t have a return statement.

pub fn incorrect_num_composite_members( expected: impl Display, received: impl Display, span: Span, ) -> Self

For when the user tries initialize a composite with the incorrect number of args.

pub fn missing_composite_member( composite: impl Display, member: impl Display, span: Span, ) -> Self

For when the user is missing a composite member during initialization.

pub fn invalid_core_function_call(expr: impl Display, span: Span) -> Self

An invalid access call is made e.g., `SHA256::hash()

pub fn duplicate_struct_member(member_name: impl Display, span: Span) -> Self

Attempted to define more that one struct member with the same name.

pub fn duplicate_record_variable( variable_name: impl Display, span: Span, ) -> Self

Attempted to define more that one record variable with the same name.

pub fn undefined_type(type_: impl Display, span: Span) -> Self

Attempted to access an invalid struct.

pub fn invalid_composite_variable( variable: impl Display, composite: impl Display, span: Span, ) -> Self

Attempted to access an invalid composite variable.

pub fn required_record_variable( name: impl Display, type_: impl Display, span: Span, ) -> Self

pub fn record_var_wrong_type( name: impl Display, type_: impl Display, span: Span, ) -> Self

pub fn compare_address(operator: impl Display, span: Span) -> Self

pub fn incorrect_tuple_length( expected: impl Display, actual: impl Display, span: Span, ) -> Self

pub fn invalid_tuple(span: Span) -> Self

pub fn tuple_out_of_range( index: impl Display, length: impl Display, span: Span, ) -> Self

pub fn unreachable_code_after_return(span: Span) -> Self

pub fn loop_body_contains_return(span: Span) -> Self

pub fn unknown_annotation(annotation: impl Display, span: Span) -> Self

pub fn regular_function_inputs_cannot_have_modes(span: Span) -> Self

pub fn async_function_input_cannot_be_private(span: Span) -> Self

pub fn struct_or_record_cannot_contain_record( parent: impl Display, child: impl Display, span: Span, ) -> Self

pub fn invalid_mapping_type( component: impl Display, type_: impl Display, span: Span, ) -> Self

pub fn async_function_input_must_be_public(span: Span) -> Self

pub fn finalize_output_mode_must_be_public(span: Span) -> Self

pub fn invalid_operation_outside_finalize( operation: impl Display, span: Span, ) -> Self

pub fn loop_body_contains_async(kind: impl Display, span: Span) -> Self

pub fn missing_return(span: Span) -> Self

pub fn finalize_block_must_not_be_empty(span: Span) -> Self

pub fn cannot_have_constant_output_mode(span: Span) -> Self

pub fn transition_function_inputs_cannot_be_const(span: Span) -> Self

pub fn invalid_self_access(span: Span) -> Self

pub fn invalid_type(type_: impl Display, span: Span) -> Self

pub fn can_only_call_inline_function(kind: impl Display, span: Span) -> Self

pub fn cannot_invoke_call_to_local_transition_function(span: Span) -> Self

pub fn loop_bound_must_be_a_literal(span: Span) -> Self

pub fn strings_are_not_supported(span: Span) -> Self

pub fn imported_program_cannot_import_program(span: Span) -> Self

pub fn too_many_transitions(max: impl Display, span: Span) -> Self

pub fn assign_unit_expression_to_variable(span: Span) -> Self

pub fn nested_tuple_type(span: Span) -> Self

pub fn composite_data_type_cannot_contain_tuple( data_type: impl Display, span: Span, ) -> Self

pub fn function_cannot_take_tuple_as_input(span: Span) -> Self

pub fn nested_tuple_expression(span: Span) -> Self

pub fn expression_statement_must_be_function_call(span: Span) -> Self

pub fn lhs_tuple_element_must_be_an_identifier(span: Span) -> Self

pub fn lhs_must_be_identifier_or_tuple(span: Span) -> Self

pub fn unit_expression_only_in_return_statements(span: Span) -> Self

pub fn function_cannot_input_or_output_a_record(span: Span) -> Self

pub fn cyclic_composite_dependency(path: Vec<impl Display>) -> Self

pub fn cyclic_function_dependency(path: Vec<impl Display>) -> Self

pub fn struct_cannot_have_member_mode(span: Span) -> Self

pub fn cannot_call_external_inline_function(span: Span) -> Self

pub fn too_many_mappings(max: impl Display, span: Span) -> Self

pub fn invalid_associated_constant(expr: impl Display, span: Span) -> Self

A call to an invalid associated constant is made e.g., bool::MAX

pub fn invalid_core_constant( type_: impl Display, constant: impl Display, span: Span, ) -> Self

For when an invalid core constant is called.

pub fn invalid_block_access(span: Span) -> Self

For when an invalid field of block is called.

pub fn invalid_operation_inside_finalize( operation: impl Display, span: Span, ) -> Self

pub fn operation_must_be_in_async_block_or_function(span: Span) -> Self

pub fn loop_range_decreasing(span: Span) -> Self

pub fn loop_bound_type_mismatch(span: Span) -> Self

pub fn const_declaration_must_be_literal_or_tuple_of_literals( span: Span, ) -> Self

pub fn loop_bound_must_be_literal_or_const(span: Span) -> Self

pub fn incorrect_num_tuple_elements( identifiers: impl Display, types: impl Display, span: Span, ) -> Self

pub fn const_declaration_can_only_have_one_binding(span: Span) -> Self

pub fn stub_functions_must_not_be_inlines(span: Span) -> Self

pub fn stub_functions_must_be_empty(span: Span) -> Self

pub fn array_empty(span: Span) -> Self

pub fn array_too_large( size: impl Display, max: impl Display, span: Span, ) -> Self

pub fn array_element_cannot_be_tuple(span: Span) -> Self

pub fn array_element_cannot_be_record(span: Span) -> Self

pub fn stubs_cannot_have_non_record_structs(span: Span) -> Self

pub fn stubs_cannot_have_const_declarations(span: Span) -> Self

pub fn stub_name_mismatch( stub_name: impl Display, program_name: impl Display, span: Span, ) -> Self

pub fn no_transitions(span: Span) -> Self

pub fn cannot_define_external_struct(struct_: impl Display, span: Span) -> Self

pub fn struct_definitions_dont_match( struct_: impl Display, program_1: impl Display, program_2: impl Display, span: Span, ) -> Self

pub fn async_transition_invalid_output(span: Span) -> Self

pub fn must_propagate_all_futures( never_propagated: impl Display, span: Span, ) -> Self

pub fn missing_async_operation_in_async_transition(span: Span) -> Self

pub fn async_function_input_length_mismatch( expected: impl Display, received: impl Display, span: Span, ) -> Self

pub fn invalid_future_access( num: impl Display, len: impl Display, span: Span, ) -> Self

pub fn future_access_must_be_number(name: impl Display, span: Span) -> Self

pub fn no_path_awaits_all_futures_exactly_once( num_total_paths: impl Display, span: Span, ) -> Self

pub fn future_awaits_missing(unawaited: impl Display, span: Span) -> Self

pub fn cannot_reassign_future_variable(var: impl Display, span: Span) -> Self

pub fn invalid_await_call(span: Span) -> Self

pub fn can_only_await_one_future_at_a_time(span: Span) -> Self

pub fn expected_future(type_: impl Display, span: Span) -> Self

pub fn invalid_method_call(span: Span) -> Self

pub fn async_call_in_conditional(span: Span) -> Self

pub fn must_call_async_function_once(span: Span) -> Self

pub fn async_call_can_only_be_done_from_async_transition(span: Span) -> Self

pub fn external_call_after_async(kind: impl Display, span: Span) -> Self

pub fn unknown_future_consumed(future: impl Display, span: Span) -> Self

pub fn not_all_futures_consumed(unconsumed: impl Display, span: Span) -> Self

pub fn async_transition_missing_future_to_return(span: Span) -> Self

pub fn async_function_cannot_return_value(span: Span) -> Self

pub fn return_type_of_finalize_function_is_future(span: Span) -> Self

pub fn cannot_modify_external_container( operation: impl Display, kind: impl Display, span: Span, ) -> Self

pub fn async_cannot_assign_outside_conditional( variable: impl Display, kind: impl Display, span: Span, ) -> Self

pub fn only_async_transition_can_return_future(span: Span) -> Self

pub fn async_function_not_found(name: impl Display, span: Span) -> Self

pub fn empty_struct(span: Span) -> Self

pub fn empty_function_arglist(span: Span) -> Self

pub fn composite_data_type_cannot_contain_future( data_type: impl Display, span: Span, ) -> Self

pub fn array_element_cannot_be_future(span: Span) -> Self

pub fn no_future_parameters(span: Span) -> Self

pub fn type_should_be2( type_: impl Display, expected: impl Display, span: Span, ) -> Self

For when the user tries to assign to a const input.

This is a replacement for type_should_be with a slightly better message.

pub fn ternary_branch_mismatch( type1: impl Display, type2: impl Display, span: Span, ) -> Self

pub fn operation_types_mismatch( operation: impl Display, type1: impl Display, type2: impl Display, span: Span, ) -> Self

pub fn mul_types_mismatch( type1: impl Display, type2: impl Display, span: Span, ) -> Self

pub fn pow_types_mismatch( type1: impl Display, type2: impl Display, span: Span, ) -> Self

pub fn shift_type_magnitude( operation: impl Display, rhs_type: impl Display, span: Span, ) -> Self

pub fn unit_type_only_return(span: Span) -> Self

pub fn future_error_member(num: impl Display, span: Span) -> Self

pub fn cannot_reassign_mapping(var: impl Display, span: Span) -> Self

pub fn records_not_allowed_inside_async(kind: impl Display, span: Span) -> Self

pub fn script_in_non_test(func: impl Display, span: Span) -> Self

pub fn non_script_calls_script(call: impl Display, span: Span) -> Self

pub fn annotation_error(message: impl Display, span: Span) -> Self

pub fn ternary_over_external_records(ty: impl Display, span: Span) -> Self

pub fn assignment_to_external_record(ty: impl Display, span: Span) -> Self

pub fn illegal_name( item_name: impl Display, item_type: impl Display, keyword: impl Display, span: Span, ) -> Self

pub fn record_prefixed_by_other_record( r1: impl Display, r2: impl Display, span: Span, ) -> Self

pub fn range_bounds_type_mismatch(span: Span) -> Self

pub fn assignment_to_external_record_member( ty: impl Display, span: Span, ) -> Self

pub fn assignment_to_external_record_cond(ty: impl Display, span: Span) -> Self

pub fn assignment_to_external_record_tuple_cond( ty: impl Display, span: Span, ) -> Self

pub fn hexbin_literal_nonintegers(span: Span) -> Self

pub fn unexpected_unsuffixed_numeral(expected: impl Display, span: Span) -> Self

pub fn incorrect_num_const_args( kind: impl Display, expected: impl Display, received: impl Display, span: Span, ) -> Self

pub fn bad_const_generic_type(found: impl Display, span: Span) -> Self

pub fn cannot_assign_to_generic_const_function_parameter( param: impl Display, span: Span, ) -> Self

For when the user tries to assign to a generic const function parameter.

pub fn only_inline_can_have_const_generics(span: Span) -> Self

pub fn array_too_large_for_u32(span: Span) -> Self

pub fn unexpected_record_const_parameters(span: Span) -> Self

pub fn unexpected_const_args(item: impl Display, span: Span) -> Self

pub fn invalid_operation_inside_async_block( operation: impl Display, span: Span, ) -> Self

pub fn illegal_async_block_location(span: Span) -> Self

pub fn conflicting_async_call_and_block(span: Span) -> Self

pub fn multiple_async_blocks_not_allowed(span: Span) -> Self

pub fn async_block_in_conditional(span: Span) -> Self

pub fn cannot_use_private_inpt_in_async_block(span: Span) -> Self

pub fn async_block_cannot_return(span: Span) -> Self

pub fn invalid_async_block_future_access(span: Span) -> Self

pub fn cannot_assign_to_vars_outside_async_block( input: impl Display, span: Span, ) -> Self

pub fn custom(msg: impl Display, span: Span) -> Self

pub fn constructor_can_only_return_unit( expression: impl Display, span: Span, ) -> Self

pub fn none_found_non_optional(expected: impl Display, span: Span) -> Self

pub fn optional_wrapping_of_records_unsupported( ty: impl Display, span: Span, ) -> Self

pub fn optional_wrapping_unsupported(ty: impl Display, span: Span) -> Self

pub fn optional_type_not_allowed_in_mapping( ty: impl Display, kind: impl Display, span: Span, ) -> Self

pub fn record_field_cannot_be_optional( name: impl Display, ty: impl Display, span: Span, ) -> Self

pub fn const_cannot_be_optional(span: Span) -> Self

pub fn function_cannot_take_option_as_input( name: impl Display, ty: impl Display, span: Span, ) -> Self

pub fn function_cannot_return_option_as_output( ty: impl Display, span: Span, ) -> Self

pub fn invalid_storage_type(type_: impl Display, span: Span) -> Self

pub fn storage_vectors_cannot_be_moved_or_assigned(span: Span) -> Self

pub fn function_has_too_many_inputs( variant: impl Display, name: impl Display, limit: usize, actual: usize, span: Span, ) -> Self

pub fn function_has_too_many_outputs( variant: impl Display, name: impl Display, limit: usize, actual: usize, span: Span, ) -> Self

pub fn empty_function_args(span: Span) -> Self

pub fn zero_size_struct(span: Span) -> Self

pub fn invalid_intrinsic(intr: impl Display, span: Span) -> Self

For when an invalid intrinsic is used.

pub fn cannot_instantiate_external_record(loc: impl Display, span: Span) -> Self

pub fn cannot_modify_external_storage_variable(span: Span) -> Self

pub fn num_exit_codes() -> i32

pub fn with_labels(self, labels: Vec<Label>) -> Self

Trait Implementations

impl Clone for TypeCheckerError

fn clone(&self) -> TypeCheckerError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeCheckerError

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

Formats the value using the given formatter.

impl Display for TypeCheckerError

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

Formats the value using the given formatter.

impl Error for TypeCheckerError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<Backtraced> for TypeCheckerError

fn from(source: Backtraced) -> Self

Converts to this type from the input type.

impl From<Formatted> for TypeCheckerError

fn from(source: Formatted) -> Self

Converts to this type from the input type.

impl From<TypeCheckerError> for LeoError

fn from(source: TypeCheckerError) -> Self

Converts to this type from the input type.

impl LeoMessageCode for TypeCheckerError

Implements the trait for LeoError Codes.

fn exit_code(&self) -> i32

Returns the error’s exit code for the program.

fn error_code(&self) -> String

Returns the prefixed error identifier.

fn warning_code(&self) -> String

Returns the prefixed warning identifier.

fn code_mask() -> i32

Returns the messages’s exit code mask, as to avoid conflicts.

fn message_type() -> String

Returns the message’s code type for the program.

fn is_error() -> bool

Returns if the message is an error or warning.

fn code_identifier() -> i8

The LeoErrorCode which has a default code identifier of 037 (Leo upsidedown and backwards). This is to make the exit codes unique to Leo itself.