collectException range violation

[cal]

Is this example from the docs still meant to work?

int[] a = new int[3];
int b;
assert(collectException(a[4], b));