Typescript: Variable no reconocida como tipo literal de cadena cuando se usa un operador ternario

Esto se ha discutido varias veces.

Primero, está asignando a una variable let, lo que significa que el compilador asumirá que es posible que desee cambiar el valor en el futuro, por lo tanto, no asigna un tipo literal de cadena a la variable.

Además, en 2.0, nunca hubo una inferencia de literales. El desarrollador tendría que hacerlo explícitamente. Entonces, para arreglar esto:

function test(val: 'AAA'|'BBB'){
  //xxx
}

let a: 'AAA' | 'BBB' = true ? 'AAA' : 'BBB';
test(a);

Pero en TypeScript 2.1 interpretará las asignaciones a const de la manera más estricta posible, por lo que podría hacerlo así:

function test(val: 'AAA'|'BBB'){
  //xxx
}

const a = true ? 'AAA' : 'BBB';
test(a);