It confused me a while because I find rustc internal crates used in kani-compiler crate are diagnosed as unresolved extern crate but I've followed the suggested RA settings.
I've reported the bug to RA ( rust-lang/rust-analyzer#19503 ) , and there is nothing we can do for rustc internal breakage ATM but wait for kani's toolchain upgrade in #3973 to merge.