jsdoc @enum with import/export

[art-in]

TypeScript Version: 3.6.3

Code

This works:

/** @enum {number} */
const MyEnum = {
  a: 1,
  b: 2
};

/** @type {MyEnum} */
const v = MyEnum.b;

This doesn't work (MyEnum imported from separate file):

// my-enum.js

/** @enum {number} */
const MyEnum = {
  a: 1,
  b: 2
};

export default MyEnum;

// main.js

import MyEnum from './my-enum.js';

/** @type {MyEnum} */ // ERROR: 'MyEnum' refers to a value, but is being used as a type here. ts(2749)
const v = MyEnum.b;

Expected behavior:

No type errors.

It did work fine in v2.8.3

[nickpelone]

I have the inverse of this issue, where I can't do something like:

import {MyEnum} from './my-enum.js';

const foo = MyEnum.a; // "'MyEnum' only refers to a type, but is being used as a value here"
const bar = MyEnum['b']; // Same thing

switch(baz) {
  case MyEnum.a: // and also here
    console.log("xyz");
    break;
  case MyEnum.b: //and here
    break;
  default:
}

It used to work as of TypeScript 3.5.3, I discovered this issue when upgrading a project this morning.

[ahocevar]

I can confirm that 3.5.3 was the last version where @art-in's scenario worked. We are having the same issue in OpenLayers.

What still works is this:

// main.js

import MyEnum from './my-enum.js';

/** @type {import("./my-enum.js").default} */ // No error
const v = MyEnum.b;

But that's a bit cumbersome, considering that we have MyEnum imported already.

[wulfsberg]

Given that 3.7 has the game-changing #7546, I would be very sad to not be able to use it because of this.

[sandersn]

#34515 appears to improve the situation -- it resolves a type -- but it resolves the wrong type. MyEnum resolves to { [s: string]: number } not number as it should be.

The problem is that the imported MyEnum is marked as BlockScopedVariable, not TypeAlias. So it incorrectly falls through the type alias case and uses the jsdoc code path that treats values as types. This is not the right code path (I think) even though it now returns a type.

I think the fix is to resolve the alias symbol for MyEnum correctly.

[ahocevar]

I can confirm that #34515 does not fix the issue. The error is now

Argument of type 'number' is not assignable to parameter of type '{ a: number; b: number; }

@sandersn Is there anything I can help with to get this resovled?

[sandersn]

I believe @elibarzilay is looking at the alias resolution code right now in order to fix the symbol's flags. I hope it's an overlooked code path and not something deep in alias resolution.