Make hasNext a getter instead of a method.

lib/compiler/implementation/types/concrete_types_inferrer.dart

 // Copyright (c) 2012, 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.
 
 class CancelTypeInferenceException {
   final Node node;
   final String reason;
 
   CancelTypeInferenceException(this.node, this.reason);
 }
@@ skipping 197 matching lines @@
     if (concreteTypes.isEmpty()) {
       size = 0;
       return;
     }
     for (final e in concreteTypes.getKeys()) {
       final baseTypes = concreteTypes[e].baseTypes;
       size *= baseTypes.length;
     }
   }
 
-  bool hasNext() {
+  bool get hasNext {
     return counter < size;
   }
 
   ConcreteTypesEnvironment takeSnapshot() {
     Map<Element, ConcreteType> result = new Map<Element, ConcreteType>();
     nextValues.forEach((k, v) { result[k] = new ConcreteType.singleton(v); });
     return new ConcreteTypesEnvironment.of(result, baseTypeOfThis);
   }
 
   ConcreteTypesEnvironment next() {
-    if (!hasNext()) throw new NoMoreElementsException();
+    if (!hasNext) throw new NoMoreElementsException();
     Element keyToIncrement = null;
     for (final key in concreteTypes.getKeys()) {
       final iterator = state[key];
-      if (iterator != null && iterator.hasNext()) {
+      if (iterator != null && iterator.hasNext) {
         nextValues[key] = state[key].next();
         break;
       }
       Iterator newIterator = concreteTypes[key].baseTypes.iterator();
       state[key] = newIterator;
       nextValues[key] = newIterator.next();
     }
     counter++;
     return takeSnapshot();
   }
@@ skipping 326 matching lines @@
     for (Link<Element> requiredParameters = signature.requiredParameters;
          !requiredParameters.isEmpty();
          requiredParameters = requiredParameters.tail) {
       final Element requiredParameter = requiredParameters.head;
       // we know next() is defined because of the guard above
       result[requiredParameter] = remainingPositionalArguments.next();
     }
     // we attach the remaining positional arguments to their corresponding
     // named arguments
     Link<Element> remainingNamedParameters = signature.optionalParameters;
-    while (remainingPositionalArguments.hasNext()) {
+    while (remainingPositionalArguments.hasNext) {
       final Element namedParameter = remainingNamedParameters.head;
       result[namedParameter] = remainingPositionalArguments.next();
       // we know tail is defined because of the guard above
       remainingNamedParameters = remainingNamedParameters.tail;
     }
     // we build a map out of the remaining named parameters
     final Map<SourceString, Element> leftOverNamedParameters =
         new Map<SourceString, Element>();
     for (;
          !remainingNamedParameters.isEmpty();
@@ skipping 654 matching lines @@
     Element element = elements[node];
     inferrer.addCaller(element, currentMethod);
     return inferrer.getSendReturnType(element, null,
         analyzeArguments(node.arguments));
   }
 
   void internalError(String reason, {Node node}) {
     inferrer.fail(node, reason);
   }
 }