Didn't we already have this shit with Cyclone about 20 years ago. Nobody wants fat pointers, region inference, or reference counting.
Rust had something good at one point but that went away when everyone realized that between compile-time checks and GC, actual programmers will always either prefer the latter for comfort or eschew safety altogether, putting their discomfort towards making the program secure the old-fashioned way.