Type script string literal dynamic type using a guard

type a = 'aaa';
const b = 'a' + 'a' + 'a';

let c: a;

const IsA = (string: string): string is a => string === 'aaa';

c = b; // gives an error

if (IsA(b)) {
  c = b; // is ok because of the type guard
}