Ignore unused_element_parameter (#126926)

When the analyzer detects an unused parameter, it reports `unused_element` which can be ignored with an inline ignore like `// ignore: unused_element`. The analyzer will start reporting instead, `unused_element_parameter`. There are ignores in flutter/flutter that need to be updated to the new code. In order to incrementally migrate, they can be changed to `// ignore: unused_element, unused_element_parameter`.

After flutter/flutter is using a new enough analyzer, we can then change those to `// ignore: unused_element_parameter`.

Work towards https://github.com/flutter/flutter/issues/126924
This commit is contained in:
Sam Rawlins 2023-05-17 14:16:24 -07:00 committed by GitHub
parent 9657289f4a
commit 7a32504531
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3256,7 +3256,7 @@ class _Location {
required this.file,
required this.line,
required this.column,
// ignore: unused_element
// ignore: unused_element, unused_element_parameter
this.name,
});