Can you add tests for such values? I'm worried that this code doesn't catch something like `(StructWithDestructor, StructWithDestructor)`.

This looks like we're trying to lift up error messages from codegen into typechecking, so I would expect `&'static [~"foo", ~"bar"]` to be prohibited here rather than later.