Rename: auto cast -> smart cast