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