fn get_bytepos_after_visibility(vis: &Visibility, default_span: Span) -> BytePos