language changes: &[...] now always has &[T] type.