Do not type checks at returns of implicit getter.

runtime/vm/code_generator_ia32.cc

 // Copyright (c) 2011, 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.
 
 #include "vm/globals.h"  // Needed here to get TARGET_ARCH_IA32.
 #if defined(TARGET_ARCH_IA32)
 
 #include "vm/code_generator.h"
 
 #include "lib/error.h"
@@ skipping 779 matching lines @@
     } else {
       __ LoadObject(EAX, literal);
     }
   } else {
     // Pop the previously evaluated result value into EAX.
     __ popl(EAX);
   }
 
   // Generate type check.
   if (FLAG_enable_type_checks) {
-    GenerateAssertAssignable(
-        node->id(),
-        node->value()->token_index(),
-        Type::ZoneHandle(parsed_function().function().result_type()),
-        String::ZoneHandle(String::NewSymbol("function result")));
+    RawFunction::Kind  kind = parsed_function().function().kind();
+    if ((kind != RawFunction::kImplicitGetter) &&
+        (kind != RawFunction::kConstImplicitGetter)) {
+      GenerateAssertAssignable(
+          node->id(),
+          node->value()->token_index(),
+          Type::ZoneHandle(parsed_function().function().result_type()),
+          String::ZoneHandle(String::NewSymbol("function result")));
+    }
   }
   // Unchain the context(s) up to context level 0.
   int context_level = state()->context_level();
   ASSERT(context_level >= 0);
   while (context_level-- > 0) {
     __ movl(CTX, FieldAddress(CTX, Context::parent_offset()));
   }
 #ifdef DEBUG
   // Check that the entry stack size matches the exit stack size.
   __ movl(EDX, EBP);
@@ skipping 1944 matching lines @@
                         message_buffer, kMessageBufferSize,
                         format, args);
   va_end(args);
   Isolate::Current()->long_jump_base()->Jump(1, message_buffer);
   UNREACHABLE();
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32