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

pkg/front_end/lib/src/fasta/kernel/kernel_function_type_alias_builder.dart

 // 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.
 
 library fasta.kernel_function_type_alias_builder;
 
 import 'package:kernel/ast.dart'
     show
         DartType,
         DynamicType,
@@ skipping 43 matching lines @@
   DartType buildThisType(LibraryBuilder library) {
     if (thisType != null) {
       if (const InvalidType() == thisType) {
         library.addCompileTimeError(
             templateCyclicTypedef.withArguments(name), charOffset, fileUri);
         return const DynamicType();
       }
       return thisType;
     }
     thisType = const InvalidType();
-    DartType builtType = type?.build(library) ?? const DynamicType();
-    if (typeVariables != null) {
-      for (KernelTypeVariableBuilder tv in typeVariables) {
-        tv.parameter.bound = tv?.bound?.build(library);
-        target.typeParameters.add(tv.parameter..parent = target);
+    FunctionType builtType = type?.build(library);
+    if (builtType != null) {
+      builtType.typedefReference = target.reference;
+      if (typeVariables != null) {
+        for (KernelTypeVariableBuilder tv in typeVariables) {
+          tv.parameter.bound = tv?.bound?.build(library);
+          target.typeParameters.add(tv.parameter..parent = target);
+        }
       }
+      return thisType = builtType;
+    } else {
+      return thisType = const DynamicType();
     }
-    return thisType = builtType;
   }
 
   /// [arguments] have already been built.
   DartType buildTypesWithBuiltArguments(
       LibraryBuilder library, List<DartType> arguments) {
     var thisType = buildThisType(library);
     if (const DynamicType() == thisType) return thisType;
     FunctionType result = thisType;
     if (target.typeParameters.isEmpty && arguments == null) return result;
     arguments =
@@ skipping 15 matching lines @@
     // Otherwise, substitute.
     List<DartType> builtArguments = <DartType>[];
     if (arguments != null) {
       for (int i = 0; i < arguments.length; i++) {
         builtArguments.add(arguments[i].build(library));
       }
     }
     return buildTypesWithBuiltArguments(library, builtArguments);
   }
 }