Issue 8132. Suppress INFO problems in SDK.

compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java

Index: compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java
diff --git a/compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java b/compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java
index 78897322e3e6172a0067500572f71fdad6397826..c1522c3a7a09305d0fc3dbf31933b37f8e2b5712 100644
--- a/compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java
+++ b/compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java
@@ -361,10 +361,13 @@ public class ResolutionContext implements ResolutionErrorListener {
   }
 
   public void onError(SourceInfo sourceInfo, ErrorCode errorCode, Object... arguments) {
-    if (suppressSdkWarnings && errorCode.getErrorSeverity() == ErrorSeverity.WARNING) {
-      Source source = sourceInfo.getSource();
-      if (source != null && PackageLibraryManager.isDartUri(source.getUri())) {
-        return;
+    if (suppressSdkWarnings) {
+      ErrorSeverity errorSeverity = errorCode.getErrorSeverity();
+      if (errorSeverity == ErrorSeverity.WARNING || errorSeverity == ErrorSeverity.INFO) {
+        Source source = sourceInfo.getSource();
+        if (source != null && PackageLibraryManager.isDartUri(source.getUri())) {
+          return;
+        }
       }
     }
     context.onError(new DartCompilationError(sourceInfo, errorCode, arguments));