Type_assersion