fn def_ident_span(tcx: TyCtxt<'_>, def_id: DefId) -> Option<Span>