| Index: pkg/kernel/lib/transformations/insert_covariance_checks.dart
|
| diff --git a/pkg/kernel/lib/transformations/insert_covariance_checks.dart b/pkg/kernel/lib/transformations/insert_covariance_checks.dart
|
| index b4e1869830dbe3e57e28671fe510cd38a90f986e..662dda968f71743ec587344ba3293aa1d5307cbd 100644
|
| --- a/pkg/kernel/lib/transformations/insert_covariance_checks.dart
|
| +++ b/pkg/kernel/lib/transformations/insert_covariance_checks.dart
|
| @@ -504,13 +504,21 @@ class _CallTransformer extends RecursiveVisitor {
|
|
|
| @override
|
| visitMethodInvocation(MethodInvocation node) {
|
| - node.interfaceTarget = getChecked(node.receiver, node.interfaceTarget);
|
| + var target = getChecked(node.receiver, node.interfaceTarget);
|
| + if (target != null) {
|
| + node.interfaceTarget = target;
|
| + node.name = target.name;
|
| + }
|
| node.visitChildren(this);
|
| }
|
|
|
| @override
|
| visitPropertySet(PropertySet node) {
|
| - node.interfaceTarget = getChecked(node.receiver, node.interfaceTarget);
|
| + var target = getChecked(node.receiver, node.interfaceTarget);
|
| + if (target != null) {
|
| + node.interfaceTarget = target;
|
| + node.name = target.name;
|
| + }
|
| node.visitChildren(this);
|
| }
|
| }
|
|
|