Constant rustc_errors::codes::E0716

pub const E0716: ErrCode;