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.

Start with the three-file reproduction in bluebird.js, promise.js, and promisify.js, then inspect the binder behavior involved in tracking assignments across required modules. Done means the promisify assignment is recognized in both promise.js and bluebird.js, alongside the existing Promise and bluebird properties.