Doing a call on a getter does not yield the return type of that getter.

tests/compiler/dart2js/simple_inferrer_test.dart

 // Copyright (c) 2013, 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.
 
 import 'package:expect/expect.dart';
 import
     '../../../sdk/lib/_internal/compiler/implementation/types/types.dart'
     show TypeMask;
 
 import 'compiler_helper.dart';
@@ skipping 346 matching lines @@
 
 testReturnElementOfConstList2() {
   return topLevelConstList[0];
 }
 
 testReturnItselfOrInt(a) {
   if (a) return 42;
   return testReturnItselfOrInt(a);
 }
 
+testReturnInvokeDynamicGetter() => new A().myFactory();

[kasperl, 2013/06/21 05:58:00]

Extend test case with calling a field.

+
 var topLevelConstList = const [42];
 
 get topLevelGetter => 42;
 returnDynamic() => topLevelGetter(42);
 returnTopLevelGetter() => topLevelGetter;
 
 class A {
   factory A() = A.generative;
   A.generative();
   operator==(other) => 42;
 
   get myField => 42;
   set myField(a) {}
   returnInt1() => ++myField;
   returnInt2() => ++this.myField;
   returnInt3() => this.myField += 42;
   returnInt4() => myField += 42;
   operator[](index) => 42;
   operator[]= (index, value) {}
   returnInt5() => ++this[0];
   returnInt6() => this[0] += 1;
+
+  get myFactory => () => 42;

[kasperl, 2013/06/21 05:58:00]

var myFactory2 = () => 87;

 }
 
 class B extends A {
   B() : super.generative();
   returnInt1() => ++new A().myField;
   returnInt2() => new A().myField += 4;
   returnInt3() => ++new A()[0];
   returnInt4() => new A()[0] += 42;
   returnInt5() => ++super.myField;
   returnInt6() => super.myField += 4;
@@ skipping 68 matching lines @@
          ..returnInt3()
          ..returnInt4()
          ..returnInt5()
          ..returnInt6()
          ..returnInt7()
          ..returnInt8()
          ..returnInt9();
   testReturnElementOfConstList1();
   testReturnElementOfConstList2();
   testReturnItselfOrInt(topLevelGetter());
+  testReturnInvokeDynamicGetter();
 }
 """;
 
 void main() {
   Uri uri = new Uri(scheme: 'source');
   var compiler = compilerFor(TEST, uri);
   compiler.runCompiler(uri);
   var typesInferrer = compiler.typesTask.typesInferrer;
 
   checkReturn(String name, type) {
@@ skipping 55 matching lines @@
   checkReturn('testSwitch2', typesInferrer.intType);
   checkReturn('testSwitch3', interceptorType.nullable());
   checkReturn('testSwitch4', typesInferrer.intType);
   checkReturn('testContinue1', interceptorType.nullable());
   checkReturn('testBreak1', interceptorType.nullable());
   checkReturn('testContinue2', interceptorType.nullable());
   checkReturn('testBreak2', typesInferrer.intType.nullable());
   checkReturn('testReturnElementOfConstList1', typesInferrer.intType);
   checkReturn('testReturnElementOfConstList2', typesInferrer.intType);
   checkReturn('testReturnItselfOrInt', typesInferrer.intType);
+  checkReturn('testReturnInvokeDynamicGetter', typesInferrer.dynamicType);
 
   checkReturnInClass(String className, String methodName, type) {
     var cls = findElement(compiler, className);
     var element = cls.lookupLocalMember(buildSourceString(methodName));
     Expect.equals(type,
         typesInferrer.internal.returnTypeOf[element].simplify(compiler));
   }
 
   checkReturnInClass('A', 'returnInt1', typesInferrer.intType);
   checkReturnInClass('A', 'returnInt2', typesInferrer.intType);
@@ skipping 14 matching lines @@
   checkReturnInClass('B', 'returnInt9', typesInferrer.intType);
 
   checkFactoryConstructor(String className) {
     var cls = findElement(compiler, className);
     var element = cls.localLookup(buildSourceString(className));
     Expect.equals(new TypeMask.nonNullExact(cls.rawType),
                   typesInferrer.internal.returnTypeOf[element]);
   }
   checkFactoryConstructor('A');
 }