F* is significantly more hardcore than Rust. Dependent types, refinement types, and effects are powerful features it has that Rust doesn't. I do a bit of Rust myself, but the world would probably be better if Rust was only a stepping stone toward languages like F*, Idris, ATS and friends. :)