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