Importing types from @types/web package

The @types/web package typings are published as a lib – they don’t declare any module, they don’t import or export anything. You can include them using a triple-slash comment, but I don’t think it’s possible to import individual types. It would be helpful to be able to write import type {Element} from "web"; without having to pollute the whole global namespace with every web type.

[orta]

I could imagine this as another potential export from this repo, its use case is pretty niche though IMO because you don’t want to be including this in an environment which has dom added globally because the versions could easily be mismatched

I think it’s very likely that TS could never move away from vending the interfaces globally because of ecosystem breakage, which means you’d have to be quite delicate in how a project using this would be set up

[piranna]

This can help us to unblock https://github.com/DefinitelyTyped/DefinitelyTyped/issues/60924 without needing to duplicate types or re-invent the wheel…