Is it normal that if I annotate a fn as return Vec, and I return [], it fails to type check?

It says expected Vec, actual HVec