Re-apply "support for typedef in checked mode" and fix the checked mode failures on drt by not shar…

sdk/lib/_internal/compiler/implementation/js_backend/backend.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.
 
 part of js_backend;
 
 typedef void Recompile(Element element);
 
 class ReturnInfo {
   HType returnType;
@@ skipping 1083 matching lines @@
     if (type == compiler.types.voidType) {
       return const SourceString('voidTypeCheck');
     } else if (element == compiler.stringClass) {
       return const SourceString('stringTypeCheck');
     } else if (element == compiler.doubleClass) {
       return const SourceString('doubleTypeCheck');
     } else if (element == compiler.numClass) {
       return const SourceString('numTypeCheck');
     } else if (element == compiler.boolClass) {
       return const SourceString('boolTypeCheck');
-    } else if (element == compiler.functionClass || element.isTypedef()) {
+    } else if (element == compiler.functionClass) {
       return const SourceString('functionTypeCheck');
     } else if (element == compiler.intClass) {
       return const SourceString('intTypeCheck');
     } else if (Elements.isNumberOrStringSupertype(element, compiler)) {
       return nativeCheck
           ? const SourceString('numberOrStringSuperNativeTypeCheck')
           : const SourceString('numberOrStringSuperTypeCheck');
     } else if (Elements.isStringOnlySupertype(element, compiler)) {
       return nativeCheck
           ? const SourceString('stringSuperNativeTypeCheck')
@@ skipping 23 matching lines @@
     print("Inferred return types:");
     print("----------------------");
     dumpReturnTypes();
     print("");
     print("Inferred field types:");
     print("------------------------");
     fieldTypes.dump();
     print("");
   }
 }