Candid subtype check during deserialization

[nomeata]

Looks like don’t have an issue for this yet…

In dfinity/candid#168 the Candid rules were changed to require a dynamic eager subtyping check during serialization. And we should implement this.

I believe that we should first build the infrastructure for type representations (#2348), and then re-implement the deserialization on top of that. The current implementation scheme is not well suited for this subtyping check.

[nomeata]

With dfinity/candid#311 this will look different again. Subtype checks are now boolean (instead of producing a coercion function), do can be done in rust if preferred, and no Motoko type rep is needed.

[ggreif]

@crusso is this resolved now?

[crusso]

Yep

[crusso]

Fixed by #3171