http.globalAgent/ https.globalAgent is writable as of Node.js v12

[gajus]

Flow version: 0.97.0

Code

import http from 'http';

http.globalAgent = new http.Agent();

Expected behavior

No error.

Actual behavior

Error:

Cannot assign defaultHttpsAgent to https.globalAgent because property globalAgent is not writable

Context

As of Node.js v12, these properties are writable.

nodejs/node@5774688

These properties are currently used in global-agent.

[gajus]

Correction.

It is writable as of v11.7.

https://nodejs.org/uk/blog/release/v11.7.0/