Skip to content

Commit 7a32504

Browse files
authored
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 flutter/flutter#126924
1 parent 9657289 commit 7a32504

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

packages/flutter/lib/src/widgets/widget_inspector.dart

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3256,7 +3256,7 @@ class _Location {
32563256
required this.file,
32573257
required this.line,
32583258
required this.column,
3259-
// ignore: unused_element
3259+
// ignore: unused_element, unused_element_parameter
32603260
this.name,
32613261
});
32623262

0 commit comments

Comments
 (0)