It is now clearer what is supposed to be in the rust attribute set without having studied type theory. The amount of code is identically.
Jörg Thalheim