Rust is in an interesting position, where like C or C++, it's capable of solving very low-level problems. At the same time, it's got a lot of "modern" language features.
The kernel being literally the "bottom" of a system presents a challenge as this space rejects complexity and tooling variety that is intrinsic to "higher-level" languages.
Could you say in concrete terms what you think is not going to work? This just feels like a jumble of spatial metaphors. I don't see why it matters whether Rust or C are 'high' or 'low' level languages, or how that relates to the kernel being at the 'bottom' of the operating system.
The kernel being literally the "bottom" of a system presents a challenge as this space rejects complexity and tooling variety that is intrinsic to "higher-level" languages.