SolverProblemException: Hide learnt rules on output

Results in too much error output which is not helpful. Very repetitive
and hard to understand. In issue 8903 even leads to endless recursion
bug.

src/Composer/DependencyResolver/Rule.php

@@ -278,11 +278,15 @@ abstract class Rule
 
                 return 'You can only install one version of a package, so only one of these can be installed: ' . $this->formatPackagesUnique($pool, $literals, $isVerbose) . '.';
             case self::RULE_LEARNED:
-                if (isset($learnedPool[$this->reasonData])) {
+                /** @TODO currently still generates way too much output to be helpful, and in some cases can even lead to endless recursion
-                    $learnedString = ', learned rules:' . Problem::formatDeduplicatedRules($learnedPool[$this->reasonData], '        ', $repositorySet, $request, $pool, $isVerbose, $installedMap, $learnedPool);
+                    if (isset($learnedPool[$this->reasonData])) {
-                } else {
+                        echo $this->reasonData."\n";
-                    $learnedString = ' (reasoning unavailable)';
+                        $learnedString = ', learned rules:' . Problem::formatDeduplicatedRules($learnedPool[$this->reasonData], '        ', $repositorySet, $request, $pool, $isVerbose, $installedMap, $learnedPool);
-                }
+                    } else {
+                        $learnedString = ' (reasoning unavailable)';
+                    }
+                */
+                $learnedString = ' (conflict analysis result)';
 
                 if (count($literals) === 1) {
                     $ruleText = $pool->literalToPrettyString($literals[0], $installedMap);

tests/Composer/Test/Fixtures/installer/alias-solver-problems.test

@@ -49,8 +49,7 @@ Your requirements could not be resolved to an installable set of packages.
     - a/a dev-master requires d/d 1.0.0 -> satisfiable by d/d[1.0.0].
     - You can only install one version of a package, so only one of these can be installed: d/d[1.0.0, 2.0.0].
     - b/b dev-master requires d/d 2.0.0 -> satisfiable by d/d[2.0.0].
-    - Conclusion: install b/b dev-master, learned rules:
+    - Conclusion: install b/b dev-master (conflict analysis result)
-        - Root composer.json requires b/b *@dev -> satisfiable by b/b[dev-master].
     - Root composer.json requires a/a *@dev -> satisfiable by a/a[dev-master].
 
 --EXPECT--

tests/Composer/Test/Fixtures/installer/github-issues-7051.test

@@ -108,233 +108,26 @@ Solver Bug Exception caused by analyze on mutli conflict rule reported in GitHub
 }
 --RUN--
 update
+
 --EXPECT-OUTPUT--
 Loading composer repositories with package information
 Updating dependencies
 Your requirements could not be resolved to an installable set of packages.
 
   Problem 1
-    - Conclusion: don't install friendsofphp/php-cs-fixer v2.10.5, learned rules:
+    - Conclusion: don't install friendsofphp/php-cs-fixer v2.10.5 (conflict analysis result)
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
+    - Conclusion: don't install symfony/console v3.4.29 (conflict analysis result)
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
+    - Conclusion: don't install symfony/console v2.8.8 (conflict analysis result)
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
+    - Conclusion: don't install symfony/console v3.4.28 (conflict analysis result)
-        - Conclusion: don't install one of symfony/console[v3.1.10], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - Conclusion: don't install one of symfony/console[v2.8.7], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Conclusion: don't install one of symfony/console[v2.8.8], friendsofphp/php-cs-fixer[v2.10.5], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-    - Conclusion: don't install symfony/console v3.4.29, learned rules:
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-    - Conclusion: don't install symfony/console v2.8.8, learned rules:
-        - friendsofphp/php-cs-fixer v2.10.4 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console v3.4.29, learned rules:
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Root composer.json requires friendsofphp/php-cs-fixer * -> satisfiable by friendsofphp/php-cs-fixer[v2.10.4, v2.10.5].
-        - Conclusion: don't install friendsofphp/php-cs-fixer v2.10.5, learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - Conclusion: don't install one of symfony/console[v3.1.10], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - Conclusion: don't install one of symfony/console[v2.8.7], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Conclusion: don't install one of symfony/console[v2.8.8], friendsofphp/php-cs-fixer[v2.10.5], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-    - Conclusion: don't install symfony/console v3.4.28, learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console v2.8.8, learned rules:
-        - friendsofphp/php-cs-fixer v2.10.4 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console v3.4.29, learned rules:
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Root composer.json requires friendsofphp/php-cs-fixer * -> satisfiable by friendsofphp/php-cs-fixer[v2.10.4, v2.10.5].
-        - Conclusion: don't install friendsofphp/php-cs-fixer v2.10.5, learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - Conclusion: don't install one of symfony/console[v3.1.10], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - Conclusion: don't install one of symfony/console[v2.8.7], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Conclusion: don't install one of symfony/console[v2.8.8], friendsofphp/php-cs-fixer[v2.10.5], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
     - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
     - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-    - Conclusion: don't install symfony/console v2.8.7, learned rules:
+    - Conclusion: don't install symfony/console v2.8.7 (conflict analysis result)
-        - friendsofphp/php-cs-fixer v2.10.4 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console v3.4.28, learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console v2.8.8, learned rules:
-        - friendsofphp/php-cs-fixer v2.10.4 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console v3.4.29, learned rules:
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Root composer.json requires friendsofphp/php-cs-fixer * -> satisfiable by friendsofphp/php-cs-fixer[v2.10.4, v2.10.5].
-        - Conclusion: don't install friendsofphp/php-cs-fixer v2.10.5, learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - Conclusion: don't install one of symfony/console[v3.1.10], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - Conclusion: don't install one of symfony/console[v2.8.7], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Conclusion: don't install one of symfony/console[v2.8.8], friendsofphp/php-cs-fixer[v2.10.5], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Conclusion: don't install symfony/console v3.4.29, learned rules:
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Root composer.json requires friendsofphp/php-cs-fixer * -> satisfiable by friendsofphp/php-cs-fixer[v2.10.4, v2.10.5].
-        - Conclusion: don't install friendsofphp/php-cs-fixer v2.10.5, learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - Conclusion: don't install one of symfony/console[v3.1.10], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - Conclusion: don't install one of symfony/console[v2.8.7], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Conclusion: don't install one of symfony/console[v2.8.8], friendsofphp/php-cs-fixer[v2.10.5], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
     - Root composer.json requires friendsofphp/php-cs-fixer * -> satisfiable by friendsofphp/php-cs-fixer[v2.10.4, v2.10.5].
     - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
     - friendsofphp/php-cs-fixer v2.10.4 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
     - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
     - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-    - Conclusion: don't install symfony/console v3.1.10, learned rules:
+    - Conclusion: don't install symfony/console v3.1.10 (conflict analysis result)
-        - friendsofphp/php-cs-fixer v2.10.4 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console v3.4.28, learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console v2.8.8, learned rules:
-        - friendsofphp/php-cs-fixer v2.10.4 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console v3.4.29, learned rules:
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Root composer.json requires friendsofphp/php-cs-fixer * -> satisfiable by friendsofphp/php-cs-fixer[v2.10.4, v2.10.5].
-        - Conclusion: don't install friendsofphp/php-cs-fixer v2.10.5, learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - Conclusion: don't install one of symfony/console[v3.1.10], friendsofphp/php-cs-fixer[v2.10.5] | install symfony/console[v3.4.29], learned rules:
-        %A
-        - Conclusion: don't install symfony/console[v3.4.29] | install symfony/console[v2.8.8], learned rules:
-        - illuminate/queue v5.2.0 requires illuminate/console 5.2.* -> satisfiable by illuminate/console[v5.2.25, v5.2.26].
-        - illuminate/console v5.2.25 requires symfony/console 3.1.* -> satisfiable by symfony/console[v3.1.9, v3.1.10].
-        - illuminate/console v5.2.26 requires symfony/console 2.8.* -> satisfiable by symfony/console[v2.8.7, v2.8.8].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
-        - Conclusion: don't install one of symfony/console[v2.8.8], friendsofphp/php-cs-fixer[v2.10.5], learned rules:
-        - friendsofphp/php-cs-fixer v2.10.5 requires symfony/console ^3.2 || ^4.0 -> satisfiable by symfony/console[v3.2.13, ..., v3.4.29].
-        - You can only install one version of a package, so only one of these can be installed: symfony/console[v2.8.7, v2.8.8, v3.1.9, ..., v3.4.29].
-        - Root composer.json requires illuminate/queue * -> satisfiable by illuminate/queue[v5.2.0].
 --EXPECT--
 
 --EXPECT-EXIT-CODE--

tests/Composer/Test/Fixtures/installer/github-issues-8903.test

@@ -0,0 +1,216 @@
+--TEST--
+
+See Github issue #8903 ( https://github.com/composer/composer/issues/8903 ).
+
+Recursive output of learnt rules can lead to infinite loop.
+
+--COMPOSER--
+{
+    "name": "nomorehours/knowmore-api",
+    "description": "Reported at https://github.com/composer/composer/issues/8903 (OP)",
+    "require": {
+        "laravel/lumen-framework": "^7.0",
+        "irazasyed/telegram-bot-sdk": "^2.0"
+    },
+    "repositories": {
+        "laravel/lumen-framework": {
+            "type": "package",
+            "package": [
+                {
+                    "name": "laravel/lumen-framework",
+                    "version": "v7.0.0",
+                    "type": "library",
+                    "require": {
+                        "illuminate/support": "^7.0"
+                    }
+                }
+            ]
+        },
+        "irazasyed/telegram-bot-sdk": {
+            "type": "package",
+            "package": [
+                {
+                    "name": "irazasyed/telegram-bot-sdk",
+                    "version": "v2.1.0",
+                    "type": "library",
+                    "require": {
+                        "illuminate/support": "5.0.*|5.1.*|5.2.*"
+                    }
+                },
+                {
+                    "name": "irazasyed/telegram-bot-sdk",
+                    "version": "v2.0.0",
+                    "type": "library",
+                    "require": {
+                        "illuminate/support": "5.0.*|5.1.*|5.2.*"
+                    }
+                }
+            ]
+        },
+        "illuminate/support": {
+            "type": "package",
+            "package": [
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.14.0",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.2.2",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.2.1",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.1.0",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.0.8",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.0.7",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.0.6",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.0.5",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.0.4",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.0.3",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.0.2",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.0.1",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v7.0.0",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.3.23",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.3.16",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.3.4",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.3.0",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.45",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.43",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.37",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.32",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.31",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.28",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.27",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.26",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.25",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.24",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.2.0",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.1.41",
+                    "type": "library"
+                },
+                {
+                    "name": "illuminate/support",
+                    "version": "v5.0.0",
+                    "type": "library"
+                }
+            ]
+        }
+    }
+}
+
+--RUN--
+update
+
+--EXPECT--
+
+--EXPECT-OUTPUT--
+
+--EXPECT-EXIT-CODE--
+2

tests/Composer/Test/Fixtures/installer/provider-conflicts3.test

@@ -37,15 +37,9 @@ Updating dependencies
 Your requirements could not be resolved to an installable set of packages.
 
   Problem 1
-    - Conclusion: don't install regular/pkg 1.0.3, learned rules:
+    - Conclusion: don't install regular/pkg 1.0.3 (conflict analysis result)
-        - Root composer.json requires replacer/pkg 2.* -> satisfiable by replacer/pkg[2.0.0, 2.0.1, 2.0.2, 2.0.3].
+    - Conclusion: don't install regular/pkg 1.0.2 (conflict analysis result)
-        - Only one of these can be installed: regular/pkg[1.0.0, 1.0.1, 1.0.2, 1.0.3], replacer/pkg[2.0.0, 2.0.1, 2.0.2, 2.0.3]. replacer/pkg replaces regular/pkg and thus cannot coexist with it.
+    - Conclusion: don't install regular/pkg 1.0.1 (conflict analysis result)
-    - Conclusion: don't install regular/pkg 1.0.2, learned rules:
-        - Root composer.json requires replacer/pkg 2.* -> satisfiable by replacer/pkg[2.0.0, 2.0.1, 2.0.2, 2.0.3].
-        - Only one of these can be installed: regular/pkg[1.0.0, 1.0.1, 1.0.2, 1.0.3], replacer/pkg[2.0.0, 2.0.1, 2.0.2, 2.0.3]. replacer/pkg replaces regular/pkg and thus cannot coexist with it.
-    - Conclusion: don't install regular/pkg 1.0.1, learned rules:
-        - Root composer.json requires replacer/pkg 2.* -> satisfiable by replacer/pkg[2.0.0, 2.0.1, 2.0.2, 2.0.3].
-        - Only one of these can be installed: regular/pkg[1.0.0, 1.0.1, 1.0.2, 1.0.3], replacer/pkg[2.0.0, 2.0.1, 2.0.2, 2.0.3]. replacer/pkg replaces regular/pkg and thus cannot coexist with it.
     - Only one of these can be installed: regular/pkg[1.0.0, 1.0.1, 1.0.2, 1.0.3], replacer/pkg[2.0.0, 2.0.1, 2.0.2, 2.0.3]. replacer/pkg replaces regular/pkg and thus cannot coexist with it.
     - Root composer.json requires regular/pkg 1.* -> satisfiable by regular/pkg[1.0.0, 1.0.1, 1.0.2, 1.0.3].
     - Root composer.json requires replacer/pkg 2.* -> satisfiable by replacer/pkg[2.0.0, 2.0.1, 2.0.2, 2.0.3].