mv-model 0.3.2

Move model
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

error: field `xx` not declared in struct `M::S`
   ┌─ tests/sources/structs_err.move:26:7
   │
26 │       s.xx
   │       ^^^^

error: expected `bool` but found `u64` in field selection
   ┌─ tests/sources/structs_err.move:31:7
   │
31 │       s.x
   │       ^^^

error: expected `bool` but found `u64` in name expression
   ┌─ tests/sources/structs_err.move:36:18
   │
36 │       S{x: x, y: y, z: z}
   │                  ^

error: missing fields `y`, `z`
   ┌─ tests/sources/structs_err.move:40:7
   │
40 │       S{x: x}
   │       ^^^^^^^

error: expected `bool` but found `u64` in pack expression
   ┌─ tests/sources/structs_err.move:45:7
   │
45 │       G{x: x, y: y}
   │       ^^^^^^^^^^^^^

error: generic count mismatch (expected 1 but found 2)
   ┌─ tests/sources/structs_err.move:50:7
   │
50 │       G<u64, bool>{x: x, y: y}
   │       ^^^^^^^^^^^^^^^^^^^^^^^^