contract_check_ensures

rustc_span::symbol::sym

Constant contract_check_ensures 

Source 
pub const contract_check_ensures: Symbol;