Incorrect docs: type compatibility for functions with overloads

<!-- 🚨 STOP 🚨 𝗦𝗧𝗢𝗣 🚨 𝑺𝑻𝑶𝑷 🚨 Half of all issues filed here are duplicates, answered in the FAQ, or not appropriate for the bug tracker. Even if you think you've found a *bug*, please read the FAQ first, especially the Common "Bugs" That Aren't Bugs section! Please help us by doing the following steps before logging an issue: * Search: https://github.com/Microsoft/TypeScript/search?type=Issues * Read the FAQ: https://github.com/Microsoft/TypeScript/wiki/FAQ Please fill in the *entire* template below. --> <!-- Please try to reproduce the issue with `typescript@next`. It may have already been fixed. --> <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** functions with overloads, type compatibility In the [docs](https://www.typescriptlang.org/docs/handbook/type-compatibility.html), it says: "When a function has overloads, each overload in the source type must be matched by a compatible signature on the target type." But it should be "When a function has overloads, each overload in the ~~source type~~ **target type** must be matched by a compatible signature on the ~~target type~~ **source type**." **Code** The actual behaviour is right: ```ts type t1 = { (foo: string): string (foo: number): number } type t2 = { (foo: string): string } declare let v1: t1; declare let v2: t2; v2 = v1 // OK v1 = v2 // Error ``` The type on the right side of `=` is considered "the source type".