[Modules] Questionable snippet in “Scoped Imports” spec

[0xEAB]

void main()
{
    void writeln(string) {}
    void foo()
    {
        writeln("bar"); // calls main.writeln
        import std.stdio;
        writeln("bar"); // calls std.stdio.writeln        ← HOW SO!?
        void writeln(string) {}
        writeln("bar"); // calls main.foo.writeln
    }
    writeln("bar"); // calls main.writeln
    std.stdio.writeln("bar");  // error, std is undefined
}

Discovered by a someone on Discord:
https://discord.com/channels/242094594181955585/242122752436338688/1533984975735755013

[0xEAB]

In case the spec is wrong, this example is major garbage.
In case the spec were right, this constitutes a major compiler bug.