mirror of
https://github.com/dart-lang/sdk
synced 2024-09-15 23:49:47 +00:00
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 <johnniwinther@google.com> Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>
This commit is contained in:
parent
8e22dd6c95
commit
b9de2e1a72
|
@ -21,7 +21,6 @@ import 'package:dev_compiler/dev_compiler.dart'
|
||||||
// are a temporary state of things until frontend team builds better api
|
// are a temporary state of things until frontend team builds better api
|
||||||
// that would replace api used below. This api was made private in
|
// that would replace api used below. This api was made private in
|
||||||
// an effort to discourage further use.
|
// 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/vm.dart';
|
||||||
import 'package:front_end/src/api_unstable/ddc.dart' as ddc
|
import 'package:front_end/src/api_unstable/ddc.dart' as ddc
|
||||||
show IncrementalCompiler;
|
show IncrementalCompiler;
|
||||||
|
|
|
@ -14,7 +14,6 @@ import 'package:args/args.dart';
|
||||||
// are a temporary state of things until frontend team builds better api
|
// are a temporary state of things until frontend team builds better api
|
||||||
// that would replace api used below. This api was made private in
|
// that would replace api used below. This api was made private in
|
||||||
// an effort to discourage further use.
|
// 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/vm.dart';
|
||||||
|
|
||||||
import '../frontend_server.dart';
|
import '../frontend_server.dart';
|
||||||
|
|
Loading…
Reference in a new issue