Report an error like TS2713 for enum members and provide a corresponding code fix

[amcasey]

    enum Color {
        Red,
        Green,
        Blue
    }

    let a1: Color.Red.toString; // TS2694: The Namespace 'Color' has no exported member 'Red'
    let a2: Color.Red["toString"];

The type of a1 is invalid - it should be like the type of a2. It would be nice if the error indicated as much (which would also allow us to offer a code fix).

[amcasey]

FYI @DanielRosenwasser

[remojansen]

Hi @mhegazy

I would like to try to work on this issue. The error TS2713 reads:

Cannot access '{0}.{1}' because '{0}' is a type, but not a namespace. Did you mean to retrieve the type of the property '{1}' in '{0}' with '{0}["{1}"]'?

How should the new error look like? Should it be a new error or TS2713 is enough?

Cannot access 'Red.toString' because 'Red' is a type, but not a namespace. Did you mean to retrieve the type of the property 'toString' in 'Red' with 'Red["toString"]'?

Thanks!

[mhegazy]

//cc @DanielRosenwasser for feedback here.

[ayip10]

this issue is being looked at for ghcOSD!

[yehee]

@ayip10 Hi! I was looking into the issue just now and wondering if this has already been worked on. Thanks!