void () { doTest("list[str]", """ from typing import List from typing import TypeGuard def is_str_list(val: List[object]) -> TypeGuard[List[str]]: return all(isinstance(x, str) for x in val) def func1(val: List[object]): if is_str_list(val): expr = val """); }