| Index: dart/frog/world.dart
|
| ===================================================================
|
| --- dart/frog/world.dart (revision 4024)
|
| +++ dart/frog/world.dart (working copy)
|
| @@ -288,8 +288,10 @@
|
| // dependency from corelib to dart:dom.
|
| world.info(msg, named.span, existing.span);
|
| } else {
|
| - // Conflicting name in corelib needs to be fixed.
|
| - world.internalError(msg, named.span, existing.span);
|
| + // Conflicting js name in same library. This happens because
|
| + // of two different type arguments with the same name but in
|
| + // different libraries.
|
| + _renameJavascriptTopName(existing);
|
| }
|
| }
|
| }
|
|
|