https://issues.dlang.org/show_bug.cgi?id=20780
--- Comment #1 from Basile-z <b2.t...@gmx.com> --- Better TC: --- void main() { struct A; struct B { struct CD;} alias V = void; alias I = int; V test0(@A I) {} V test1(@A @(B) I) {} V test2(@(B.CD) @B I) {} V test3(@A I, @B @A I) {} V test3(@A I, @(B.CD) @A I) {} } --- --