| 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);
|
|
|