Record Typedef reference into Kernel FunctionType and resynthesyze typedefs in Analyzer.

runtime/vm/kernel_binary_flowgraph.cc

 // Copyright (c) 2016, 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/kernel_binary_flowgraph.h"
 
 #include "vm/compiler.h"
 #include "vm/longjump.h"
 #include "vm/object_store.h"
 
@@ skipping 1079 matching lines @@
     const intptr_t named_count =
         builder_->ReadListLength();  // read named_parameters list length.
     for (intptr_t i = 0; i < named_count; ++i) {
       // read string reference (i.e. named_parameters[i].name).
       builder_->SkipStringReference();
       VisitDartType();  // read named_parameters[i].type.
     }
   }
 
   builder_->SkipListOfStrings();  // read positional parameter names.
+
+  if (!simple) {
+    builder_->SkipCanonicalNameReference();  // read typedef reference.
+  }
+
   VisitDartType();  // read return type.
 }
 
 void StreamingScopeBuilder::VisitTypeParameterType() {
   Function& function = Function::Handle(Z, parsed_function_->function().raw());
   while (function.IsClosureFunction()) {
     function = function.parent_function();
   }
 
   if (function.IsFactory()) {
@@ skipping 457 matching lines @@
       if (result_.IsMalformed()) {
         result_ = AbstractType::dynamic_type().raw();
       }
       parameter_types.SetAt(pos, result_);
       parameter_names.SetAt(pos, name);
     }
   }
 
   builder_->SkipListOfStrings();  // read positional parameter names.
 
+  if (!simple) {
+    builder_->SkipCanonicalNameReference();  // read typedef reference.
+  }
+
   BuildTypeInternal();  // read return type.
   if (result_.IsMalformed()) {
     result_ = AbstractType::dynamic_type().raw();
   }
   signature_function.set_result_type(result_);
 
   Type& signature_type =
       Type::ZoneHandle(Z, signature_function.SignatureType());
 
   if (finalize_) {
@@ skipping 2218 matching lines @@
     const intptr_t named_count =
         ReadListLength();  // read named_parameters list length.
     for (intptr_t i = 0; i < named_count; ++i) {
       // read string reference (i.e. named_parameters[i].name).
       SkipStringReference();
       SkipDartType();  // read named_parameters[i].type.
     }
   }
 
   SkipListOfStrings();  // read positional parameter names.
+
+  if (!simple) {
+    SkipCanonicalNameReference();  // read typedef reference.
+  }
+
   SkipDartType();  // read return type.
 }
 
 void StreamingFlowGraphBuilder::SkipListOfExpressions() {
   intptr_t list_length = ReadListLength();  // read list length.
   for (intptr_t i = 0; i < list_length; ++i) {
     SkipExpression();  // read ith expression.
   }
 }
 
@@ skipping 3475 matching lines @@
     }
   }
 
   return Array::Handle(Array::null());
 }
 
 }  // namespace kernel
 }  // namespace dart
 
 #endif  // !defined(DART_PRECOMPILED_RUNTIME)