fn flat_map_annotatable( vis: &mut impl MutVisitor, annotatable: Annotatable, ) -> Option<Annotatable>