Limited support for inferring subscript expressions, e.g when the value is a tuple, or string. ```python def test(a: str): c = a[0] ```