Tolerate RISC-V vector types#693

kkysen merged 2 commits intoimmunant:masterimmunant/c2rust:masterfrom

chrysn-pull-requests:riscv-vector-typeschrysn-pull-requests/c2rust:riscv-vector-typesCopy head branch name to clipboard