mirror of
https://github.com/erg-lang/erg.git
synced 2025-09-27 19:59:07 +00:00
chore(linter): use line!()
This commit is contained in:
parent
339b27400d
commit
d0f534360f
2 changed files with 3 additions and 1 deletions
|
@ -230,6 +230,7 @@ impl Linter {
|
|||
if record.len() >= MAX_INSTANCE_ATTRIBUTES {
|
||||
self.warns.push(too_many_instance_attributes(
|
||||
self.input(),
|
||||
line!() as usize,
|
||||
self.caused_by(),
|
||||
expr.loc(),
|
||||
));
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue