fn var_name(tcx: TyCtxt<'_>, var_hir_id: HirId) -> Symbol