Constant rustc_errors::codes::E0517

pub const E0517: ErrCode;