rustc_errors::codes

Constant E0720

Source 
pub const E0720: ErrCode;