make the strict equality comparison operator a typeguard for string literal types

[zpdDG4gta8XKpMCd]

1.9.0-dev.20160217

Code

const hey: 'hey' = 'hey';
const value = Math.random() > 0.5 ? 'hey' : 'nay';
if (value === hey) {
   // here expected value to be of type 'hey' (we just asserted it), actual string
}

[aluanhaddad]

👍

[weswigham]

I had a draft of this kind of guard working in #6062, and @ahejlsberg has added some form of this guard to #7140 for at least null and undefined value types, for reference.

[gvkhna]

+1

[DanielRosenwasser]

As a note, I don't think we could narrow from string because that would cause breaking changes.

[RyanCavanaugh]

The problem here is this breaking change (and arguably undesirable behavior):

const hey: 'hey' = 'hey';
const value = Math.random() > 0.5 ? 'hey' : 'nay';
if (value === hey) {
   // here expected value to be of type 'hey' (we just asserted it), actual string
  let q = value;
  if (...) {
    q = 'never mind'; // error, can't assign "never mind" to "hey"
  }
}

The use case for changing this isn't super compelling since you have the right operand hey of === available to you for use inside the if body already with the type you want already, so narrowing the left operand doesn't seem super useful. Obviously one or the other may have been computed and not stored, but it's still probably not worth taking a breaking change for unless we can see how it's going to make some other piece of code a lot better.

[zpdDG4gta8XKpMCd]

mind me asking, can q be string | 'hey' thank to flow analysis?
'hey' in one context and string in another?

const hey: 'hey' = 'hey';
const value = Math.random() > 0.5 ? 'hey' : 'nay';
if (value === hey) {
  let q = value; // originaly string but then asserted but then might be reassigned
  if (...) {
    q = 'never mind'; // no pasa nada
  }
}

[ivogabe]

How is this breaking change different from other breaking changes related to narrowing? They all can cause that narrowing causes that the type of a variable is too specific. In this case it's very easy to solve it, just add : string.