I doubt we actually want the fixed-length `ty_str`, but ignoring the length would make all `str/N` the same type.
I actually fixed a similar issue with fixed-length arrays which could lead to out of bounds accesses using `Any`.