Ignore both unused_element and unused_element_parameter (#152689)

Work towards https://dart-review.googlesource.com/c/sdk/+/378500
This commit is contained in:
Sam Rawlins 2024-08-02 12:39:03 -07:00 committed by GitHub
parent c1872f9752
commit 5c5b3c5796
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -3455,7 +3455,9 @@ class _Location {
required this.file,
required this.line,
required this.column,
// ignore: unused_element
// TODO(srawlins): `unused_element_parameter` is being separated from
// `unused_element`. Ignore both names until the separation is complete.
// ignore: unused_element, unused_element_parameter
this.name,
});