Possibly broken tests?

[crusso]

Hi @chenyan-dfinity,

I was trying to manually port the spacebomb tests to Motoko (dfinity/motoko#4624), but these two are causing me difficulty and I wonder if the values actually have the expected type?

When I decode the values using didc decode they seem to start with a record. Is that expected? I wonder if the tests are trapping, but not for the right reason, but just because they are of the wrong type not because they require too many resources to decode.

candid/test/spacebomb.test.did

Line 27 in af33ed8

assert blob "DIDL\04\6c\03\01\7f\02\01\03\02\6c\01\01\70\6c\00\6d\00\01\03\80\94\eb\dc\03" !: (vec record {null;record{reserved};record{}}) "zero-sized record (not ignored)";

candid/test/spacebomb.test.did

Line 29 in af33ed8

assert blob "DIDL\03\6c\01\d6\fc\a7\02\01\6d\02\6c\00\01\00\80\ad\e2\04" !: (vec record {}) "vec record {} (not ignored)";