New treatment of native methods.

lib/compiler/implementation/typechecker.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 TypeCheckerTask extends CompilerTask {
   TypeCheckerTask(Compiler compiler) : super(compiler);
   String get name() => "Type checker";
 
   static final bool LOG_FAILURES = false;
 
@@ skipping 583 matching lines @@
     }
     return type;
   }
 
   Type visitOperator(Operator node) {
     fail(node, 'internal error');
   }
 
   /** Dart Programming Language Specification: 11.10 Return */
   Type visitReturn(Return node) {
+    if (node.getBeginToken().stringValue === 'native') {
+      return StatementType.RETURNING;
+    }
+
     final expression = node.expression;
     final isVoidFunction = (expectedReturnType === types.voidType);
 
     // Executing a return statement return e; [...] It is a static type warning
     // if the type of e may not be assigned to the declared return type of the
     // immediately enclosing function.
     if (expression !== null) {
       final expressionType = analyze(expression);
       if (isVoidFunction
           && !types.isAssignable(expressionType, types.voidType)) {
@@ skipping 154 matching lines @@
   }
 
   visitCatchBlock(CatchBlock node) {
     return unhandledStatement();
   }
 
   visitTypedef(Typedef node) {
     return unhandledStatement();
   }
 }