typescript - inferrable - type string trivially inferred from a string literal remove type annotatio