From 5c5b3c5796eaae91505ca87c1575cfc10172aa06 Mon Sep 17 00:00:00 2001
From: Sam Rawlins <srawlins@google.com>
Date: Fri, 2 Aug 2024 12:39:03 -0700
Subject: [PATCH] Ignore both unused_element and unused_element_parameter
 (#152689)

Work towards https://dart-review.googlesource.com/c/sdk/+/378500
---
 packages/flutter/lib/src/widgets/widget_inspector.dart | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/packages/flutter/lib/src/widgets/widget_inspector.dart b/packages/flutter/lib/src/widgets/widget_inspector.dart
index 336328f3708..d233170fdcc 100644
--- a/packages/flutter/lib/src/widgets/widget_inspector.dart
+++ b/packages/flutter/lib/src/widgets/widget_inspector.dart
@@ -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,
   });