Foreign modules are included as a whole, as an opaque piece of code, DCE has now visibility into in and therefore can't help eliminating unused code there.
Desired state:
Foreign code is parsed (up to a top-level bindings) such that DCE can eliminate them.
Current state:
Foreign modules are included as a whole, as an opaque piece of code, DCE has now visibility into in and therefore can't help eliminating unused code there.
Desired state:
Foreign code is parsed (up to a top-level bindings) such that DCE can eliminate them.