Constant rustc_errors::codes::E0720

pub const E0720: ErrCode;