est une méthode critique contenue dans un type qui participe à l'équivalence des types. Afin de permettre au type {1} de ...

{0} est une méthode critique contenue dans un type qui participe à l'équivalence des types. Afin de permettre au type {1} de participer à l'équivalence, {0} doit devenir transparente de sécurité ou critique sécurisée (security safe-critical).