Constant rustc_errors::codes::E0731

pub const E0731: ErrCode;