Fix: respect patterns with "||" in the range during optimizeResolutions (#4562)

**Summary**

Fixes #4547 by testing each version against all ranges individually, rather than munging the patterns together to get a single range.

**Test plan**

Existing tests, plus a regression test to repro #4547: "manifest optimization respects versions with alternation"

Author: mxmul

__tests__/commands/install/integration.js

@@ -1057,6 +1057,12 @@ test('unbound transitive dependencies should not conflict with top level depende
   });
 });
 
+test('manifest optimization respects versions with alternation', async () => {
+  await runInstall({flat: true}, 'optimize-version-with-alternation', async config => {
+    expect(await getPackageVersion(config, 'lodash')).toEqual('2.4.2');
+  });
+});
+
 test.concurrent('top level patterns should match after install', (): Promise<void> => {
   return runInstall({}, 'top-level-pattern-check', async (config, reporter) => {
     let integrityError = false;

__tests__/fixtures/install/optimize-version-with-alternation/b/package.json

@@ -0,0 +1,6 @@
+{
+  "version": "0.0.1",
+  "dependencies": {
+    "lodash": "^3.0.1 || ^2.0.0"
+  }
+}

__tests__/fixtures/install/optimize-version-with-alternation/package.json

@@ -0,0 +1,6 @@
+{
+  "dependencies": {
+    "b": "file:b",
+    "lodash": "2.4.2"
+  }
+}

__tests__/fixtures/request-cache/GET/registry.yarnpkg.com/lodash/-/lodash-2.4.2.tgz.bin

@@ -568,11 +568,19 @@ export default class PackageResolver {
       return;
     }
 
+    // reverse sort, so we'll find the maximum satisfying version first
     const availableVersions = this.getAllInfoForPatterns(collapsablePatterns).map(manifest => manifest.version);
-    const combinedRange = collapsablePatterns.map(pattern => normalizePattern(pattern).range).join(' ');
-    const singleVersion = semver.maxSatisfying(availableVersions, combinedRange);
-    if (singleVersion) {
-      this.collapsePackageVersions(name, singleVersion, collapsablePatterns);
+    availableVersions.sort(semver.rcompare);
+
+    const ranges = collapsablePatterns.map(pattern => normalizePattern(pattern).range);
+
+    // find the most recent version that satisfies all patterns (if one exists), and
+    // collapse to that version.
+    for (const version of availableVersions) {
+      if (ranges.every(range => semver.satisfies(version, range))) {
+        this.collapsePackageVersions(name, version, collapsablePatterns);
+        return;
+      }
     }
   }