pub(crate) fn message_name(self) -> &'static str {
        match self {
            ContractType::Requires => "Pre-condition",
            ContractType::Ensures => "Post-condition",
            ContractType::Invariant => "Invariant",
        }
    }
/// Get the name that is used as a message-prefix on violation of a
/// contract.
Get the name that is used as a message-prefix on violation of a
contract.
Get the name that is used as a message - prefix on violation of a contract .
pub(crate) fn message_name(self) -> &'static str {
        match self {
            ContractType::Requires => "Pre-condition",
            ContractType::Ensures => "Post-condition",
            ContractType::Invariant => "Invariant",
        }
    }
pub ( crate ) fn message_name ( self ) -> & ' static str { match self { ContractType :: Requires => " " , ContractType :: Ensures => " " , ContractType :: Invariant => " " , } }
Get the name that is used as a message-prefix on violation of a
contract.
Get the name that is used as a message - prefix on violation of a contract .
self
self