... this shouldn't compile
