[Pre-RFC] Substructural Type System - language design - Rust Internals
Feature Name: substructural_traits Start Date: 10-11-2025 RFC PR: rust-lang/rfcs#0000 Rust Issue: rust-lang/rust#0000 Summary Rust has parts of a substructural type system, but it is incomplete. A substructural type system is extremely important to correctly capture the behavior of real computer systems in the absence of garbage collection and presence of non-memory resources. As Rust has grown, the incomplete nature of Rust’s substructural type system has caused more and more problems, suc...| Rust Internals
