pub fn def_span<'tcx>(tcx: TyCtxt<'tcx>, key: def_span<'tcx>) -> String