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