esmoduleinterop: Improve error message when calling static method on class

[ghost]

TypeScript Version: master

Code

b.d.ts:

declare class C { static m(): void }
declare namespace C {}
export = C;

import * as C from "./b";
C.m();

Expected behavior:

src/a.ts(1,1): error TS7038: A namespace-style import will import a module namespace object, not a class.
src/a.ts(2,3): error TS2339: Property 'm' does not exist on type 'typeof C'.

Actual behavior:

src/a.ts(2,3): error TS2339: Property 'm' does not exist on type 'typeof C'.

[ghost]

It would be nice if we did this when constructing a JSX node too. For import * as C ... <C> </C> we should add an error at the import statement.

[weswigham]

Also maybe

src/a.ts(2,3): error TS2339: Property 'm' does not exist on type 'typeof C'. Did you mean `C.default.m()`?

?
At least if another diagnostic code is added for this situation, then the quickfix can be updated to propose that fix. That's a simple change of checking if there's a property does-not-exist error, then check if there's a default and default has that member. If so, issue the alternate diagnostic, otherwise issue the normal one. (Technically this could be generalized to suggesting members within non-default-named members if the other name lines up, but I don't think that's quite as useful)

[ghost]

Similar for use in instanceof.