Function initialized_element_ty_name 

fn initialized_element_ty_name<'tcx>(ty: Ty<'tcx>) -> Option<String>