Noreturn variable access is not always detected

[limepoutine]

typeid(noreturn) returns TypeInfo without a name, and do not end execution. If, for and while statements compile to function exits silently when given noreturn values, without diagnostics.

import core.stdc.stdio;

void main()
{
    noreturn v;

    puts(typeid(v).toString().ptr); // object.TypeInfo

    if (v) {}
    for (; v;) {}
    while (v) {}

    printf("This line is not executed\n");
}