Support typedef inheritance with JSDoc

TypeScript Version: 2.7.0-dev.20171116

Code

/**
 * @typedef {Object} Base
 * @property {String} baseProp
 */

/**
 * @typedef {Base} Child
 * @property {String} childProp
 */

/** @type {Child} */
const child = { baseProp: '' };

Expected behavior: Error. child is missing the childProp property.

Actual behavior: No error. The Child type is identical to the Base type and only requires a baseProp property. The childProp property definition is completely ignored.

Or maybe there's another way to do the equivalent of interface Child extends Base here?

まず、issue にある JSDoc typedef の例を再現し、TypeScript が typedef の継承と @property 宣言をどのように処理するかを追跡します。完了条件は、checker が Child に childProp がないと報告すること、またはサポートされている interface Child extends Base 相当の機能を文書化して実装することです。