"types" field in package.json pointing to a `.ts` file in node_modules results in the file being compiled and type checked

Continuing from https://github.com/Microsoft/TypeScript/issues/22228

cc @evil-shrike

I have this issue.

@mhegazy said

the lib has either "types": "index.ts" or a .ts file at its root. which is wrong. a library should not expose its sources, only its declarations.

But features like inferred return types (f.e. when making class-factory mixins) are not compilable to declaration files, resulting in errors like

error TS4025: Exported variable 'html' has or is using private name 'htmlBind'.
error TS4031: Public property '_currentArea' of exported class has or is using private name 'AreaInternal'.
error TS4055: Return type of public method from exported class has or is using private name 'PartHelper'.
error TS4073: Parameter 'partHelper' of public method from exported class has or is using private name 'PartHelper'.
error TS4078: Parameter 'options' of exported function has or is using private name 'ExtendOptions'.

A .d.ts does not have expressions… it represents the shape of the API.

Not entirely true.

As far as I know, the only way to use features (that declaration files don’t support) in downstream projects is to get types directly from .ts source files. This makes the need to point types to .ts source files a valid use case.

---

This is what I think should happen:

If "types" points to a .ts file, and "main" points to a .js file, then the compiler should use the .ts file only for type definitions and not compile or type-check the code.

"main" can serve as a guide to telling the compiler whether it should compile sources, or read js files. "types" should be for… specifying the source of types.

Unless I missed it, there’s no other way to include types for features that aren’t representable in declaration files.

Why is it that declaration features don’t match source features? It seems that an important goal should be for declaration features to always have the capability of matching source features.

[trusktr]

Feature request: allow types field of package.json to point to a source .ts file, then prevent the compiler from type checking the internals, just use those files for type information as it relates to consumption. Should I open a new issue for it specifically?

[trusktr]

How can all features of TS be somehow supported in declaration files?

Maybe implicit return types could look like this:

export declare function AwesomeMixin<T extends Constructor>(Base: T) {
  type Foo = SomeOtherType<T> // only types allowed in here.
  
  // only special return statements allowed, or something.
  return declare class Awesome extends Base {
    method(): Foo
  }
}

where there’s no implementation. It looks like an implementation being inside the {}, but maybe it is limited to containing only types and return types, or something similar. We’d just need to define the rules.