冒号后跟表达式是什么意思

Question

a: [str]在这种情况下是什么意思？

def foo(a: [str]):
    pass

它似乎不是typehint，并且代码仍然可以编译。

我已经用1+2或[1,2,3]之类的其他表达式测试过，代码仍然可以编译。