Index: sdk/lib/_internal/compiler/implementation/dump_info.dart |
diff --git a/sdk/lib/_internal/compiler/implementation/dump_info.dart b/sdk/lib/_internal/compiler/implementation/dump_info.dart |
index 8f6c8e666a6e4801484e9baf201826e3d8038af3..93c3425da219cb7c19e6f9aa96df1b20468446fb 100644 |
--- a/sdk/lib/_internal/compiler/implementation/dump_info.dart |
+++ b/sdk/lib/_internal/compiler/implementation/dump_info.dart |
@@ -234,7 +234,12 @@ class InfoDumpVisitor extends ElementVisitor<InfoNode> { |
.getGeneratedSizeOf(element); |
if (size == 0) return null; |
stack.add(element); |
- element.forEachLocalMember((Element member) { |
+ // For some reason the patch library contains the origin libraries members, |
+ // but the origin library does not contain the patch members. |
+ LibraryElement contentsLibrary = element.isPatched |
+ ? element.patch |
+ : element; |
+ contentsLibrary.forEachLocalMember((Element member) { |
InfoNode info = member.accept(this); |
if (info != null) { |
contents.add(info); |