Function delete_hard 

pub fn delete_hard<T>(v: &mut Annotated<T>)

Deletes an Annotated’s value.