Mazdak Farrokhzad fcc326bff9 Fix unsoundness in AlgebraicValue::type_of by making it partial (#1189) ...

* cleanup bsatn ser/de roundtrip test

* fmt::Display for FieldExpr: don't use type_of

* make type_of partial and sound

* type_of: address review feedback

2024-05-03 22:12:09 +00:00

..

encoding_roundtrip.proptest-regressions

Initial commit

2023-08-01 23:16:37 +02:00