On 3/16/2024 5:06 PM, andy wrote: > There must be a typo here: > >> Consider also that const(int)[] and const(int)[] are not the same type, either The same typo that was in my slides and fixed :-/