Test and fix a few more corner cases of summarizing type inference.

pkg/analyzer/lib/src/summary/resynthesize.dart

Index: pkg/analyzer/lib/src/summary/resynthesize.dart
diff --git a/pkg/analyzer/lib/src/summary/resynthesize.dart b/pkg/analyzer/lib/src/summary/resynthesize.dart
index b76e2ac32ab1b9234f289906904fba633228727a..26bd31b0b8b4c62a6088ef7c172de06f7ce7b630 100644
--- a/pkg/analyzer/lib/src/summary/resynthesize.dart
+++ b/pkg/analyzer/lib/src/summary/resynthesize.dart
@@ -1693,8 +1693,9 @@ class _ReferenceInfo {
         }
         return element;
       };
-      return new DeferredFunctionTypeImpl(
-          computer, null, typeArguments, typeArguments.isNotEmpty);
+      // TODO(paulberry): Is it a bug that we have to pass `false` for
+      // isInstantiated?
+      return new DeferredFunctionTypeImpl(computer, null, typeArguments, false);
     } else {
       return null;
     }