Resurrect smart casts