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