From 7a32504531d0254c594cb7cbb288b0e3686a645f Mon Sep 17 00:00:00 2001 From: Sam Rawlins Date: Wed, 17 May 2023 14:16:24 -0700 Subject: [PATCH] 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 --- packages/flutter/lib/src/widgets/widget_inspector.dart | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/flutter/lib/src/widgets/widget_inspector.dart b/packages/flutter/lib/src/widgets/widget_inspector.dart index b08712e2b76e..34ad78bc35a8 100644 --- a/packages/flutter/lib/src/widgets/widget_inspector.dart +++ b/packages/flutter/lib/src/widgets/widget_inspector.dart @@ -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, });