/tests/ui/traits/new-solver/cycles/coinduction/
../
fixpoint-exponential-growth.rs
fixpoint-exponential-growth.stderr
incompleteness-unstable-result.rs
incompleteness-unstable-result.stderr