Add Analyzer commment line option '--type-checks-for-inferred-types'.

compiler/java/com/google/dart/compiler/CommandLineOptions.java

Index: compiler/java/com/google/dart/compiler/CommandLineOptions.java
diff --git a/compiler/java/com/google/dart/compiler/CommandLineOptions.java b/compiler/java/com/google/dart/compiler/CommandLineOptions.java
index e2648013662c6037563aa96579ab6d53b4e5abd9..440b7bb2a6ed1dd823a2a0d150758ad684e19261 100644
--- a/compiler/java/com/google/dart/compiler/CommandLineOptions.java
+++ b/compiler/java/com/google/dart/compiler/CommandLineOptions.java
@@ -117,6 +117,10 @@ public class CommandLineOptions {
         usage = "For debugging, continue on with resolution even if there are parse errors.")
     private boolean resolveDespiteParseErrors;
 
+    @Option(name = "--type-checks-for-inferred-types",
+        usage = "[not in spec] Enables 'interface has no method/field' for receivers with inferred types.")
+    private boolean typeChecksForInferredTypes = false;
+
     @Option(name = "--version",
         usage = "Show analyzer version")
     private boolean showVersion = false;
@@ -157,7 +161,7 @@ public class CommandLineOptions {
      * Returns whether inferred types should be used for type checks.
      */
     public boolean typeChecksForInferredTypes() {
-      return false;
+      return this.typeChecksForInferredTypes;
     }
     
     /**