It works now, but for some reason it used to fail in an earlier compiler version (I think it was in git-head, long gone now).