The arguments are, at best, a reason not to have Rust as the primary language in the kernel. Implementing new hardware drivers or platforms is still viable even if you accept everything here.