Skip to content

Function Contracts: Better error messages #3273

@pi314mm

Description

@pi314mm

tests/expected/function-contract/history/ui/ currently contains several failing test cases revolving around the old history expressions. These error messages need to be enhanced to provide clarity to the user.

Additionally, the macro rule of assert_spanned_err needs to be adapted to have better error messages upon usage and proper documentation.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Z-ContractsIssue related to code contracts[C] Feature / EnhancementA new feature request or enhancement to an existing feature.

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions