| //@ revisions: current next |
| //@[next] compile-flags: -Znext-solver |
| //@ ignore-compare-mode-next-solver (explicit revisions) |
| //@ check-pass |
| |
| // Regression test for trait-system-refactor-initiative#196. |
| fn iterator(b: bool) -> impl Iterator<Item = String> { |
| if b { |
| // We need to eagerly figure out the type of `i` here by using |
| // the `<opaque as IntoIterator>::Item` obligation. This means |
| // we not only have to consider item bounds, but also blanket impls. |
| for i in iterator(false) { |
| i.len(); |
| } |
| } |
| |
| vec![].into_iter() |
| } |
| fn main() {} |
