diff --git a/third_party/move/move-model/tests/sources/expressions_err.exp b/third_party/move/move-model/tests/sources/expressions_err.exp index e9ce7d95a641f..7de3fb7c474b4 100644 --- a/third_party/move/move-model/tests/sources/expressions_err.exp +++ b/third_party/move/move-model/tests/sources/expressions_err.exp @@ -34,7 +34,7 @@ error: cannot pass `u256` to a function which expects argument of type `bool` 37 │ fun wrongly_typed_caller(): num { wrongly_typed_callee(1, 1) } │ ^ -error: cannot pass `|num|bool` to a function which expects argument of type `|num|num` +error: cannot pass `|num|bool with copy+store` to a function which expects argument of type `|num|num` ┌─ tests/sources/expressions_err.move:41:76 │ 41 │ fun wrongly_typed_fun_arg_caller(): num { wrongly_typed_fun_arg_callee(|x| false) } diff --git a/third_party/move/move-model/tests/sources/expressions_err.v2_exp b/third_party/move/move-model/tests/sources/expressions_err.v2_exp index e9ce7d95a641f..7de3fb7c474b4 100644 --- a/third_party/move/move-model/tests/sources/expressions_err.v2_exp +++ b/third_party/move/move-model/tests/sources/expressions_err.v2_exp @@ -34,7 +34,7 @@ error: cannot pass `u256` to a function which expects argument of type `bool` 37 │ fun wrongly_typed_caller(): num { wrongly_typed_callee(1, 1) } │ ^ -error: cannot pass `|num|bool` to a function which expects argument of type `|num|num` +error: cannot pass `|num|bool with copy+store` to a function which expects argument of type `|num|num` ┌─ tests/sources/expressions_err.move:41:76 │ 41 │ fun wrongly_typed_fun_arg_caller(): num { wrongly_typed_fun_arg_callee(|x| false) }