pub fn miri_to_const<'tcx>(
    tcx: TyCtxt<'tcx>,
    result: ConstantKind<'tcx>
) -> Option<Constant>