From fd155a34e422794afe6b3a3ea4a226d8dba9c409 Mon Sep 17 00:00:00 2001 From: Mouad Debbar Date: Wed, 23 Aug 2023 13:35:12 -0400 Subject: [PATCH] [web] Remove unnecessary lint ignore (#133164) This became unnecessary since https://github.com/flutter/flutter/pull/132087 --- dev/benchmarks/macrobenchmarks/lib/src/web/recorder.dart | 4 ---- 1 file changed, 4 deletions(-) diff --git a/dev/benchmarks/macrobenchmarks/lib/src/web/recorder.dart b/dev/benchmarks/macrobenchmarks/lib/src/web/recorder.dart index a119268ce3..614f6aa349 100644 --- a/dev/benchmarks/macrobenchmarks/lib/src/web/recorder.dart +++ b/dev/benchmarks/macrobenchmarks/lib/src/web/recorder.dart @@ -4,10 +4,6 @@ import 'dart:async'; import 'dart:js_interop'; -// The analyzer currently thinks `js_interop_unsafe` is unused, but it is used -// for `JSObject.[]=`. -// ignore: unused_import -import 'dart:js_interop_unsafe'; import 'dart:math' as math; import 'dart:ui'; import 'dart:ui_web' as ui_web;