Function flux_def_ident_span 

pub(crate) fn flux_def_ident_span(
    genv: GlobalEnv<'_, '_>,
    def_id: FluxId<MaybeExternId>,
) -> Span