On Tuesday, 19 January 2016 at 07:32:22 UTC, tsbockman wrote:
Now let's define `Row`:
alias Row = int[10];
Row[5] a;
const b = a[9];
const int = c = b[4];
Of what type is `b` now? Of course it is still `Row`.
By substitution, we expect `b[0]` to be equal to `(a[9])[4]`.
Sigh. I should proof-read my stuff more carefully:
alias Row = int[10];
Row[5] a;
const Row b = a[4];
const int = c = b[9];
Of what type is `b` now? Of course it is still `Row`.
By substitution, we expect `b[0]` to be equal to `(a[4])[9]`.
