[Issue 9022] IFTI should support enclosing type/scope deduction

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=9022



--- Comment #1 from Kenji Hara <k.hara...@gmail.com> 2012-11-13 18:38:28 PST ---
Another case which should be supported:
---
module test;

class C
{
    struct X {}
}
void foo(alias M)(M.C, M.C.X)
{
    static assert(__traits(isSame, M, test));
    // M is deduced to the module 'test' which enclosing class C
}
void main()
{
    auto c = new C();
    auto cx = C.X();
    foo(c, cx);
}
---

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------