| Index: lib/compiler/implementation/world.dart
|
| diff --git a/lib/compiler/implementation/world.dart b/lib/compiler/implementation/world.dart
|
| index 0bb95f232a9b9953d0c751f3150517eacfcf84e4..f616c5aa4c892251aa2f5984e0c03e6980e8324a 100644
|
| --- a/lib/compiler/implementation/world.dart
|
| +++ b/lib/compiler/implementation/world.dart
|
| @@ -22,7 +22,7 @@ class World {
|
| !link.isEmpty();
|
| link = link.tail) {
|
| Element element = link.head;
|
| - if (!element.isClass() || compiler.isPatchElement(element)) continue;
|
| + if (!element.isClass()) continue;
|
| ClassElement cls = element;
|
| compiler.resolveClass(cls);
|
| addSubtypes(cls);
|
|
|