From b9de2e1a72b0236fa676b2894ecbd86cbbebc989 Mon Sep 17 00:00:00 2001 From: Brian Wilkerson Date: Mon, 12 Dec 2022 18:40:40 +0000 Subject: [PATCH] Remove some unnecessary ignore comments in frontend_server Change-Id: If1123901019c5fe83f232ba34b8c3d7f58dce448 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/274728 Reviewed-by: Johnni Winther Commit-Queue: Brian Wilkerson --- pkg/frontend_server/lib/frontend_server.dart | 1 - pkg/frontend_server/lib/src/resident_frontend_server.dart | 1 - 2 files changed, 2 deletions(-) diff --git a/pkg/frontend_server/lib/frontend_server.dart b/pkg/frontend_server/lib/frontend_server.dart index 2e3cb6a5f8f..3aef3802c0f 100644 --- a/pkg/frontend_server/lib/frontend_server.dart +++ b/pkg/frontend_server/lib/frontend_server.dart @@ -21,7 +21,6 @@ import 'package:dev_compiler/dev_compiler.dart' // are a temporary state of things until frontend team builds better api // that would replace api used below. This api was made private in // an effort to discourage further use. -// ignore_for_file: implementation_imports import 'package:front_end/src/api_unstable/vm.dart'; import 'package:front_end/src/api_unstable/ddc.dart' as ddc show IncrementalCompiler; diff --git a/pkg/frontend_server/lib/src/resident_frontend_server.dart b/pkg/frontend_server/lib/src/resident_frontend_server.dart index 3fd4cba86f1..389278ba92c 100644 --- a/pkg/frontend_server/lib/src/resident_frontend_server.dart +++ b/pkg/frontend_server/lib/src/resident_frontend_server.dart @@ -14,7 +14,6 @@ import 'package:args/args.dart'; // are a temporary state of things until frontend team builds better api // that would replace api used below. This api was made private in // an effort to discourage further use. -// ignore_for_file: implementation_imports import 'package:front_end/src/api_unstable/vm.dart'; import '../frontend_server.dart';