mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-04 02:39:20 +00:00
chore: eliminate todo!
s
This commit is contained in:
parent
936b6e2f95
commit
46c7982335
5 changed files with 46 additions and 22 deletions
|
@ -134,7 +134,12 @@ impl Generalizer {
|
|||
TyParam::unary(op, val)
|
||||
}
|
||||
other if other.has_no_unbound_var() => other,
|
||||
other => todo!("{other:?}"),
|
||||
other => {
|
||||
if DEBUG_MODE {
|
||||
todo!("{other:?}");
|
||||
}
|
||||
other
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue