Updating cases for type assertions