Hello

Should a codec be able to get the encode/variant attribute of every type with
some operation defined in the TCI standard?

If yes, how does one get the encode attribute of type T, which

has been defined in module A with a certain encode attribute,
but it has been imported into module B,
and the encode attribute has been changed with the import statement,

when a value of this type is sent or received in the context of module B?

So there is now type T in module A with certain encode attribute, and then there
is that same type T in module B with another attribute.

For extra difficulty, there is another type defined in module B, and this
happens to use the same type identifier T. This type is different from the one
in A. Now there are two or three different types, depending on whether the
imported type is counted as a new type:

A.T with attribute X (e.g. variant "8 bit")
B.T with attribute Y ( variant "16 bit")
imported A.T with attribute Z ( variant "32 bit")

I'm not saying I want to write modules that cause this situation, but I want to
know if the codecs should be able to handle this and how they will do it.

Br
Antti