Refactors which in TS would generate a type annotation should generate jsdoc in JS

TypeScript Version: 3.1.0-dev.201xxxxx

Search Terms:

Code

// In TS
function x(): 42 {
  return /*extract to inner function*/42;
}
// In JS
// @ts-check
/**
 * @returns {42}
 */
function x() {
    return /*extract to inner function*/42;
}

Expected behavior:
Under ts-check, a refactoring should apply appropriate jsdocs to allow js to typecheck after a refactoring if it typechecked before it.

Actual behavior:

Playground Link:

Related Issues:

No implementation file, test, or entry point is named. Reproduce the supplied TypeScript and JavaScript refactoring example with typescript@next, then trace the refactoring behavior; done means JavaScript refactors add appropriate JSDoc so the result continues to typecheck under ts-check.