remove "infer from overrides" option which is now obsolete

lib/src/compiler.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /// Command line tool to run the checker on a Dart program.
 library dev_compiler.src.compiler;
 
 import 'dart:async';
 import 'dart:collection';
 import 'dart:math' as math;
@@ skipping 336 matching lines @@
 
 abstract class AbstractCompiler {
   final CompilerOptions options;
   final AnalysisContext context;
   final CodeChecker checker;
 
   AbstractCompiler(AnalysisContext context, CompilerOptions options,
       [AnalysisErrorListener reporter])
       : context = context,
         options = options,
-        checker = createChecker(context.typeProvider, options.strongOptions,
+        checker = new CodeChecker(
+            new RestrictedRules(context.typeProvider,
+                options: options.strongOptions),
             reporter ?? AnalysisErrorListener.NULL_LISTENER);
 
-  static CodeChecker createChecker(TypeProvider typeProvider,
-      StrongModeOptions options, AnalysisErrorListener reporter) {
-    return new CodeChecker(
-        new RestrictedRules(typeProvider, options: options), reporter, options);
-  }
-
   String get outputDir => options.codegenOptions.outputDir;
   TypeRules get rules => checker.rules;
   AnalysisErrorListener get reporter => checker.reporter;
 
   Uri stringToUri(String uriString) {
     var uri = uriString.startsWith('dart:') || uriString.startsWith('package:')
         ? Uri.parse(uriString)
         : new Uri.file(path.absolute(uriString));
     return uri;
   }
@@ skipping 144 matching lines @@
     '_rtti.js',
     '_classes.js',
     '_operations.js',
     'dart_runtime.js',
   ];
   files.addAll(corelibOrder.map((l) => l.replaceAll('.', '/') + '.js'));
   return files;
 }();
 
 final _log = new Logger('dev_compiler.src.compiler');