Constant rustc_errors::codes::E0717

pub const E0717: ErrCode;