Editing D (programming language) (section)

====Lifetime safety of assignments====
Within @safe code, the lifetime of an assignment involving a [[reference type]] is checked to ensure that the lifetime of the assignee is longer than that of the assigned.

For example:
<syntaxhighlight lang="D">
@safe void test() {
    int tmp = 0; // #1
    int* rad;    // #2
    rad = &tmp;  // If the order of the declarations of #1 and #2 is reversed, this fails.
    {
    	int bad = 45; // The lifetime of "bad" only extends to the scope in which it is defined.
        *rad = bad;   // This is valid.
        rad = &bad;   // The lifetime of rad is longer than bad, hence this is not valid.
    }
}
</syntaxhighlight>