Transparent or safe-critical type {0} derives from critical type {1} in violation of the transparency inheritance rules. ...