(Also, `&[]` has a static lifetime)