| //@ check-pass |
| //@ revisions: current next |
| //@ ignore-compare-mode-next-solver (explicit revisions) |
| //@[next] compile-flags: -Znext-solver |
| |
| // Regression test for <https://github.com/rust-lang/trait-system-refactor-initiative/issues/197>. |
| // This is only an issue in the new solver, but I'm testing it in both solvers for now. |
| // This has to do with the fact that the recursive `walk_dir` is a revealing use, which has not |
| // yet been constrained from the defining use by the time that closure signature inference is |
| // performed. We don't really care, though, since anywhere we structurally match on a type in |
| // upvar analysis, we already call `structurally_resolve_type` right before `.kind()`. |
| |
| fn walk_dir(cb: &()) -> impl Sized { |
| || { |
| let fut = walk_dir(cb); |
| }; |
| } |
| |
| fn main() {} |
