/tests/ui/traits/next-solver/cycles/coinduction/