The above should not give a compile error.