Javascript modules should be able to pass the exported value to child modules

TypeScript Version: 2.7.0-dev.201xxxxx

Search Terms:

Code

// @noEmit: true
// @allowJs: true
// @checkJs: true
// @Filename: bluebird.js
var bluebird = require('./promise')()
bluebird.promisify
bluebird.outer
module.exports = bluebird
// @Filename: promise.js
module.exports = function() {
    function Promise() {
    }
    Promise.outer = function () {
    }
    require('./promisify')(Promise)
    Promise.promisify
    Promise.outer
    return Promise
}
// @Filename: promisify.js
module.exports = function (Promise) {
    Promise.promisify = function () {
    }
}

Expected behavior:
Bluebird's assignments to Promise in both promise.js and promisify.js should be visible in both promise.js and bluebird.js

Actual behavior:
promisify is not recognised in promise.js or bluebird.js. This seems very difficult to track statically, especially in the binder.

Inizia con la riproduzione a tre file in bluebird.js, promise.js e promisify.js, quindi esamina il comportamento del binder coinvolto nel tracciamento delle assegnazioni tra i moduli richiesti. Il lavoro è completo quando l’assegnazione di promisify viene riconosciuta sia in promise.js sia in bluebird.js, insieme alle proprietà Promise e bluebird esistenti.