rustc_span::symbol::kw

Constant ContractRequires

Source 
pub const ContractRequires: Symbol;