Fix errors and warnings

pkg/analysis_server/lib/src/status/get_handler.dart

Index: pkg/analysis_server/lib/src/status/get_handler.dart
diff --git a/pkg/analysis_server/lib/src/status/get_handler.dart b/pkg/analysis_server/lib/src/status/get_handler.dart
index 7243ef2b7e2ae88cbb7db4f6a584915112933284..1957ba120a15017aab28a242c66258fdfb3f94f8 100644
--- a/pkg/analysis_server/lib/src/status/get_handler.dart
+++ b/pkg/analysis_server/lib/src/status/get_handler.dart
@@ -2186,7 +2186,7 @@ class GetHandler implements AbstractGetHandler {
         }
         buffer.write('<p>element count: ');
         buffer.write(counter.counts.values
-            .fold(0, (int prev, int element) => prev + element));
+            .fold<int>(0, (int prev, int element) => prev + element));
         buffer.write('</p>');
         buffer.write('<p>  (w/docs): ');
         buffer.write(counter.elementsWithDocs);
@@ -2202,7 +2202,7 @@ class GetHandler implements AbstractGetHandler {
     buffer.write('</h3></p>');
     buffer.write('<p>element count: ');
     buffer.write(sdkCounter.counts.values
-        .fold(0, (int prev, int element) => prev + element));
+        .fold<int>(0, (int prev, int element) => prev + element));
     buffer.write('</p>');
     buffer.write('<p>  (w/docs): ');
     buffer.write(sdkCounter.elementsWithDocs);