diff --git a/src/lib/es2015.iterable.d.ts b/src/lib/es2015.iterable.d.ts
index 07b7322dd1a12..66e8a6c3e9f86 100644
--- a/src/lib/es2015.iterable.d.ts
+++ b/src/lib/es2015.iterable.d.ts
@@ -76,21 +76,15 @@ interface Array<T> {
 }
 
 interface ArrayConstructor {
-    /**
-     * Creates an array from an iterable object.
-     * @param iterable An iterable object to convert to an array.
-     */
-    from<T>(iterable: Iterable<T> | ArrayLike<T>): T[];
-
-    /**
-     * Creates an array from an iterable object.
-     * @param iterable An iterable object to convert to an array.
-     * @param mapfn A mapping function to call on every element of the array.
-     * @param thisArg Value of 'this' used to invoke the mapfn.
-     */
-    from<T, U>(iterable: Iterable<T> | ArrayLike<T>, mapfn: (v: T, k: number) => U, thisArg?: any): U[];
+    from<T extends Iterable<unknown>>(iterable: T): T extends Iterable<infer U> ? U[] : never;
+    from<T extends Iterable<unknown>, U>(
+        iterable: T,
+        mapfn: (v: T extends Iterable<infer V> ? V : never, k: number) => U,
+        thisArg?: any
+    ): U[];
 }
 
+
 interface ReadonlyArray<T> {
     /** Iterator of values in the array. */
     [Symbol.iterator](): ArrayIterator<T>;
diff --git a/tests/cases/conformance/types/array/fromUnionIterable.ts b/tests/cases/conformance/types/array/fromUnionIterable.ts
new file mode 100644
index 0000000000000..6c51a50b1289e
--- /dev/null
+++ b/tests/cases/conformance/types/array/fromUnionIterable.ts
@@ -0,0 +1,9 @@
+// @strict: true
+
+type Foo = Iterable<string> | Iterable<number>;
+declare const foo: Foo;
+
+const result = Array.from(foo);
+
+type Expected = string[] | number[];
+const check: Expected = result;