| Index: pkg/compiler/lib/src/dart_backend/backend.dart
|
| diff --git a/pkg/compiler/lib/src/dart_backend/backend.dart b/pkg/compiler/lib/src/dart_backend/backend.dart
|
| index e33d5ba5bfef258bf0d87b79b26e48a7c234117a..c29ae0e311ba74116698a94b2941c7abb39bc645 100644
|
| --- a/pkg/compiler/lib/src/dart_backend/backend.dart
|
| +++ b/pkg/compiler/lib/src/dart_backend/backend.dart
|
| @@ -254,7 +254,10 @@ class DartBackend extends Backend {
|
| }
|
|
|
| @override
|
| - void registerInstantiatedType(InterfaceType type, Registry registry) {
|
| + void registerInstantiatedType(InterfaceType type,
|
| + Enqueuer enqueuer,
|
| + Registry registry,
|
| + {bool mirrorUsage: false}) {
|
| // Without patching, dart2dart has no way of performing sound tree-shaking
|
| // in face external functions. Therefore we employ another scheme:
|
| //
|
| @@ -320,7 +323,8 @@ class DartBackend extends Backend {
|
| }
|
| }
|
| }
|
| -
|
| + super.registerInstantiatedType(
|
| + type, enqueuer, registry, mirrorUsage: mirrorUsage);
|
| }
|
|
|
| @override
|
|
|