Fix building with current rust

&[T, ..n] isn't coerced to &[T] anymore, so we have to manually do that
in a few places.
I think I’d prefer `[].as_slice()`. Does that work?