| Index: pkg/analyzer/lib/src/generated/type_system.dart
|
| diff --git a/pkg/analyzer/lib/src/generated/type_system.dart b/pkg/analyzer/lib/src/generated/type_system.dart
|
| index dc1fec6e525f50b7b9fc52c5445383e53d12a5ed..75a56d37a072282ff6fcfadbed15d70149851534 100644
|
| --- a/pkg/analyzer/lib/src/generated/type_system.dart
|
| +++ b/pkg/analyzer/lib/src/generated/type_system.dart
|
| @@ -622,10 +622,8 @@ class StrongTypeSystemImpl extends TypeSystem {
|
| // Also pass dynamicIsBottom, because this is a fuzzy arrow.
|
| var newType = _substituteForUnknownType(p.type,
|
| lowerBound: !lowerBound, dynamicIsBottom: true);
|
| - return identical(p.type, newType) && p is ParameterElementImpl
|
| - ? p
|
| - : new ParameterElementImpl.synthetic(
|
| - p.name, newType, p.parameterKind);
|
| + return new ParameterElementImpl.synthetic(
|
| + p.name, newType, p.parameterKind);
|
| });
|
| // Return type is covariant.
|
| var newReturnType =
|
| @@ -639,7 +637,7 @@ class StrongTypeSystemImpl extends TypeSystem {
|
| ..isSynthetic = true
|
| ..returnType = newReturnType
|
| ..shareTypeParameters(type.typeFormals)
|
| - ..shareParameters(newParameters);
|
| + ..parameters = newParameters;
|
| return function.type = new FunctionTypeImpl(function);
|
| }
|
| return type;
|
|
|