Imported types from external libraries resolve to any

[millsp]

In this example, the type X resolved to any instead of:

// an opaque type of x
"x" & {
    __type: "x";
}

And this shouldn't work but does autocomplete on the import. It is incorrect because Concat can only be accessed from tb.T or tb.Tuple. So it seems like there is a confusion between namespaces and modules with the playground.

I think it is important to note that types which are exposed from top-level (not modules in modules) do work. But not when you have types -> in modules -> in modules. Something that is of the form:

ModuleA:					# A Module   that exports
 - SubModuleA1				# Submodules that export
   - Types					# Multiple types
 - SubModuleA2
   - Types
ModuleB:
 - SubModuleB1
   - Types
 - SubModuleB2
   - Types
export All:					# All parents exported
 - ModuleA
 - ModuleB

[orta]

Thanks - Yeah, I think this could only be fixed by moving to a completely virtual fs based ATA - which is something Monaco-typescript explicitly doesn't want to support.

Not sure how we're going to bridge that gap in the long run yet.

[millsp]

Maybe this could be resolved thanks to microsoft/TypeScript#4433

[orta]

Improvements over time to ATA have fixed this:

[millsp]

Amazing! Thank you :) Now I can have doc examples with playground links