To do this, we need to include the WinRT headers in the global module fragment (since WinRT itself is not available as a module yet, see #1123). However, if we do that in the module interface file ...

💻 Use Cases. In this proposal, we do not rely on runtime features. All types (module interface and module implements) can be safely removed in build time.The functions defined inside a module that ...