rustc_span::symbol::kw

Constant ContractEnsures

Source 
pub const ContractEnsures: Symbol;