Greetings, in our codebase we have type exports at class declaration through the codebase e.g.
export type Stuff = typeof(table)
If one of these types works its way into another file that hasn't required it you can't use the type as far as I'm aware e.g.
-- other module local a: Stuff = func() -- a is recognized as Stuff and checked properly
Roblox LSP handles this by letting you add the directory back into the Workspace: Library list. After which all exported types are recognized everywhere. I think this feature would be useful to some people if you considered adding it.
I looked at definitions files and such but it didn't quite do what I wanted. I also saw #84 which might allow for part of this though I'm not sure.