| Index: dart/runtime/lib/symbol_patch.dart
|
| diff --git a/dart/runtime/lib/symbol_patch.dart b/dart/runtime/lib/symbol_patch.dart
|
| index 4359019fd74dc7b26f49aede99fd9c875fe2f169..df76a933315b69cbef435a977ae3d421b75d6e47 100644
|
| --- a/dart/runtime/lib/symbol_patch.dart
|
| +++ b/dart/runtime/lib/symbol_patch.dart
|
| @@ -31,7 +31,6 @@ patch class Symbol {
|
| r')$');
|
|
|
| static _validate(String name) {
|
| - if (name is! String) throw new ArgumentError('name must be a String');
|
| if (name.isEmpty) return name;
|
| if (name.startsWith('_')) {
|
| throw new ArgumentError('"$name" is a private identifier');
|
|
|