and yet it can lead to a (quiet unintuitive) compiler error