| Index: tool/input_sdk/lib/html/html_common/filtered_element_list.dart
|
| diff --git a/tool/input_sdk/lib/html/html_common/filtered_element_list.dart b/tool/input_sdk/lib/html/html_common/filtered_element_list.dart
|
| index e9e47180fbdb26805ee503a5e413e5a639f70b88..d4d40ae3cfc983a59fb7c715156a9cbd57dec627 100644
|
| --- a/tool/input_sdk/lib/html/html_common/filtered_element_list.dart
|
| +++ b/tool/input_sdk/lib/html/html_common/filtered_element_list.dart
|
| @@ -26,12 +26,8 @@ class FilteredElementList extends ListBase<Element> implements NodeListWrapper {
|
|
|
| // We can't memoize this, since it's possible that children will be messed
|
| // with externally to this class.
|
| - //
|
| - // We can't use where directly because the types don't agree and there's
|
| - // no way to cast it, so take advantage of being in the SDK to construct
|
| - // a WhereIterable directly. Even so it has to be of dynamic.
|
| Iterable<Element> get _iterable =>
|
| - new WhereIterable(_childNodes, (n) => n is Element);
|
| + _childNodes.where((n) => n is Element).map/*<Element>*/((n) => n as Element);
|
| List<Element> get _filtered =>
|
| new List<Element>.from(_iterable, growable: false);
|
|
|
|
|