https://trust-lang.net/en/tags/memory/ Recent content in Memory on TrustLang Hugo en https://trust-lang.net/en/docs/safety/ Mon, 01 Jan 0001 00:00:00 +0000 https://trust-lang.net/en/docs/safety/ <p>This section brings together the <em>TrustLang</em> capabilities that are responsible for the <strong>safety and quality</strong> of programs: safe memory management, protection from data races, correctness control at compile time and formal verification.</p> <p>Each capability is described in detail <strong>in exactly one place</strong> (the source page) and is only mentioned here with a summary and a link. Detailed lists of options/diagnostics are not duplicated — their source is the tool&rsquo;s help (<code>trust --help</code>, <code>trust -Whelp</code>, LSP hovers).</p>