est un type critique qui participe également dans l'équivalence des types. Afin d'utiliser efficacement l'équivalence des ...

{0} est un type critique qui participe également dans l'équivalence des types. Afin d'utiliser efficacement l'équivalence des types, {0} doit devenir transparent de sécurité ou critique sécurisé (security safe-critical).