Rust is a performant and secure systems programming language, achieved through a clever region-based type system. While effective in many cases, it can also reject intuitive and safe code. To reduce reliance on workarounds, the type system must evolve. One promising direction is view types, which aim to increase flexibility and enable cleaner code. However, integrating view types may introduce new syntax and language primitives that must be carefully designed. In addition, it is critical to ensure soundness — especially in a landscape where formal models of Rust are still young and rapidly evolving.