error: Expected type uint<8>, got bool
  ┌─ py:1:1
  │
1 │ true
  │ ^^^^ Expected uint<8>
  │
  ┌─ py:1:1
  │
1 │ o.a
  │ --- Type uint<8> inferred here
  │
  = note: Expected: uint<8>
               Got: bool



note: A Spade expression failed to compile
    ┌─ field_accesses.py:41
    │
 41 │ s.o.a.assert_eq("true")
    │ ^^^^^^^^^^^^^^^^^^^^^^^ When executing this


