Correlated type constraint breaks under return type inference

<!-- 🚨 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. --> **TypeScript Version:** 3.5.1 <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** return type, generic, constraint, assignable, correlated type **Code** ```ts type XStr = {x:string}; type XNum = {x:number}; type U = XStr|XNum; type Args = { str : XStr, num : XNum }; declare function foo< ReturnT extends U, ValueT extends ReturnT["x"] > ( f : (args : Args) => ReturnT, value : ValueT ) : void; /* Error as expected. Type 'string | number' does not satisfy the constraint 'string'. Type 'number' is not assignable to type 'string'. */ foo<XStr, string|number>( (args:Args) => args.str, "" ); //Inferred type, foo<XStr, string | number> foo( args => args.str, //Expected: Error //Actual: OK "" as string|number ); //Inferred type, foo<XStr, string> foo( //Added explicit type annotation to function params (args:Args) => args.str, /* Error as expected. Type 'string | number' does not satisfy the constraint 'string'. Type 'number' is not assignable to type 'string'. */ "" as string|number ); ///// /* Error as expected. Type '1' does not satisfy the constraint 'string'. */ foo<XStr, 1>( (args:Args) => args.str, 1 ); //Inferred type, foo<XStr, 1> foo( args => args.str, //Expected: Error …