Since the bug did get accepted and fixed after all, I assume my interpretation was correct, and this is supposed to compile.