ill-modal-let-into-body.expect.yaml

status: error
error_tag: TypeErrorUnify
message_contains:
  - "cannot unify expected type"
line: 6
regression_for:
  - "let-mod-into-motive-checks-body"
  - "https://github.com/rzk-lang/rzk/pull/327"