Re: possible nested class/struct alias this bug

[Eberhard]

On Tuesday, 1 October 2013 at 17:35:07 UTC, Artur Skawina wrote:
The symbols are looked up in parent scope first, the implicit
conversion happens later.

I expected the compiler to check the aliasThis member right after 
the current scope. The language reference only says, that 
undefined lookups are forwarded to the aliasThis member. I think 
it should be exactly like with template mixins:

import std.stdio, std.cstream;

mixin template Template() {
    void foo() {
        writeln("Template.foo");
    }
}

class Class {
    void foo() {
        writeln("Class.foo");
    }
}

class Outer {

    void foo() {
        writeln("Outer.foo");
    }

    class Inner {

        static const bool mixinTemplate = false;

        static if (mixinTemplate) {
            mixin Template bar;
        } else {
            private Class bar = new Class;
            alias bar this;
        }

        //void foo() {
        //    writeln("Inner.foo");
        //}

        void test() {
            foo();
            this.foo();
            this.outer.foo();
            bar.foo();
        }
    }

    void test() {
        Inner inner = new Inner;
        inner.test();
    }
}

void main(string[] args) {
    Outer outer = new Outer;
    outer.test();

    din.getc();
}


mixinTemplate == true:
  Template.foo
  Template.foo
  Outer.foo
  Template.foo

mixinTemplate == false:
  Outer.foo  <-- should be Class.foo
  Class.foo
  Outer.foo
  Class.foo

If the the inner class were static, mixinTemplate == false would 
not compile.
aliasThis is just a dynamic mixin, right?

Eberhard.