Turn on infer-from-overrides by default, rename inferStaticFromOtherStatics to

lib/src/checker/resolver.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.
 
 /// Encapsulates how to invoke the analyzer resolver and overrides how it
 /// computes types on expressions to use our restricted set of types.
 library dev_compiler.src.checker.resolver;
 
 import 'package:analyzer/analyzer.dart';
 import 'package:analyzer/src/generated/ast.dart';
@@ skipping 306 matching lines @@
 
   bool _canInferFrom(Expression expression) {
     if (expression is Literal) return true;
     if (expression is InstanceCreationExpression) return true;
     if (expression is FunctionExpression) return true;
     if (expression is AsExpression) return true;
     if (expression is CascadeExpression) {
       return _canInferFrom(expression.target);
     }
     if (expression is SimpleIdentifier || expression is PropertyAccess) {
-      return _options.inferStaticsFromIdentifiers;
+      return _options.inferTransitively;
     }
     if (expression is PrefixedIdentifier) {
       if (expression.staticElement is PropertyAccessorElement) {
-        return _options.inferStaticsFromIdentifiers;
+        return _options.inferTransitively;
       }
       return _canInferFrom(expression.identifier);
     }
     if (expression is MethodInvocation) {
       return _canInferFrom(expression.target);
     }
     if (expression is BinaryExpression) {
       return _canInferFrom(expression.leftOperand);
     }
     if (expression is ConditionalExpression) {
@@ skipping 180 matching lines @@
     }
   }
 
   // Review note: no longer need to override visitFunctionExpression, this is
   // handled by the analyzer internally.
   // TODO(vsm): in visitbinaryExpression: check computeStaticReturnType result?
   // TODO(vsm): in visitFunctionDeclaration: Should we ever use the expression
   // type in a (...) => expr or just the written type?
 
 }