Weak inference of String Literal Types by const

[takefumi-yoshii]

Needless to say, below code infferd as String Literal Types.

export const INCREMENT = "INCREMENT"
export const SET_COUNT = "SET_COUNT" as "SET_COUNT"

// result of infer
const INCREMENT: "INCREMENT"
const SET_COUNT: "SET_COUNT"

When put them in the object, It is no longer as String Literal Types without assertion.
Is it correct to be interpreted as weak inference?

const object = {
  INCREMENT,
  SET_COUNT
}

// result of infer
const object: {
  INCREMENT: string;
  SET_COUNT: "SET_COUNT";
}

And this problem can avoid below code.

const object = {
  INCREMENT: INCREMENT as (typeof INCREMENT),
  SET_COUNT
}

// result of infer
const object: {
  INCREMENT: "INCREMENT";
  SET_COUNT: "SET_COUNT";
}

I am waiting for reply. Best reguards.

[jack-williams]

I think the solution to this is covered by #10195

[takefumi-yoshii]

@jack-williams thanks! I'll track them.

[takefumi-yoshii]

umm...Is the pointer reference strength different depending on whether assertion is present or not？

[ahejlsberg]

See #11126 for a description of this behavior.

[takefumi-yoshii]

@ahejlsberg thanks for reply. I understood about Widening and non-widening. I'll write some localized post about them.