A length n vector of a&#x27;s, appended to by a length m vector of a&#x27;s, results in a length (n + m) vector of a&#x27;s. This is a safety guarantee that is statically checked at compile time rather than dynamically checked at run time.