Function extract_ident_from_type 

fn extract_ident_from_type(ty: &Type) -> Option<&Ident>