That is not the point of the author. They clarify on reddit: https://www.reddit.com/r/programming/comments/1f5qbhv/rust_solves_the_problem_of_incomplete_kernel

That is not the point of the author. They clarify on reddit: https://www.reddit.com/r/programming/comments/1f5qbhv/rust_solves_the_problem_of_incomplete_kernel/lkv1srl/ https://www.reddit.com/r/programming/comments/1f5qbhv/rust_s... > This isn't a great title for the submission. Rust doesn't solve incomplete/missing docs in general (that is still a major problem when it comes to things like how subsystems are engineered and designed, and how they're meant to be used, including rules and patterns that are not encodable in the Rust type system and not related to soundness but rather correctness in other ways). What I meant is that kernel docs are specifically very often (almost always) incomplete in ways that relate to lifetimes, safety, borrowing, object states, error handling, optionality, etc., and Rust solves that.