language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-03 18:29:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: fix warnings

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-10-07 14:46:19 +09:00
parent 3085229801
commit fd74117c50
5 changed files with 18 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/erg_common/error.rs
View file

@ -328,6 +328,7 @@ impl Ord for Location {
}
impl PartialOrd for Location {
#[allow(clippy::incorrect_partial_ord_impl_on_ord_type)]
fn partial_cmp(&self, other: &Location) -> Option<Ordering> {
if self.is_unknown() || other.is_unknown() {
None