Constant rustc_errors::codes::E0712

pub const E0712: ErrCode;