tree ab52a1ee8db168a8567c8656949e8d58e00cc6e6
parent f931d0e5ab88ac076f8ccfa432de4e5390761b17
author Konstantin Shcheglov <scheglov@google.com> 1556893594 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1556893594 +0000

Use FreshTypeParameters from type_algebra with summary2.

FunctionTypeImpl.fresh() works in inscrutable ways, and does not work
correctly for synthetic FunctionType(s).

This change breaks 2 or 3 tests with summary2, because of using
FunctionTypeImpl.recoverTypeArguments() in ErrorVerifier
_checkForImplicitDynamicInvoke().

CheckerTest | test_implicitDynamic_function
CheckerTest | test_implicitDynamic_method

I prototyped a way to stop recovering type arguments some time ago.
https://dart-review.googlesource.com/c/sdk/+/98984

R=brianwilkerson@google.com

Change-Id: I0077e9d91663912cbd4f6c1bf0c2acea5a5056e1
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/101241
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>