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