Rust is a multi-paradigm language of which one of the objectives is to challenge the conflict between high-level ergonomics and fine-grained memory management. Among the abundant constructions and features it proposes, some can enable the introduction of…