Auto casting bug example