pub fn symbol_mangling_version<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: symbol_mangling_version<'tcx>
) -> Erase<symbol_mangling_version<'tcx>>