Kenji Hara: > I implemented partial type deduction in AA keys. > https://github.com/D-Programming-Language/dmd/pull/3615 > > For example: > auto[auto[$]] aa5 = [[1,2]:1, [3,4]:2]; > static assert(is(typeof(aa5) == int[int[2]])); > > int[int[][$]] aa15 = [[[1],[2]]:1, [[3],[4]]:2]; > static assert(is(typeof(aa15) == int[int[][2]]));
It's wonderful! I like it a lot. As for Walter's question about the syntax, I quite like the [$] thingie. '$' is already associated with 'length' in my mind.