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:47
    │
 47 │ _ = s.o.a == "true"
    │ ^^^^^^^^^^^^^^^^^^^ When executing this


