error: higher-ranked subtype error | |
--> $DIR/issue-30786.rs:112:18 | |
| | |
LL | let filter = map.filter(|x: &_| true); | |
| ^^^^^^^^^^^^^^^^^^^^^^^^ | |
error: higher-ranked subtype error | |
--> $DIR/issue-30786.rs:114:17 | |
| | |
LL | let count = filter.count(); // Assert that we still have a valid stream. | |
| ^^^^^^^^^^^^^^ | |
error: aborting due to 2 previous errors | |