fn rwlock_set_id<'mir, 'tcx: 'mir>(
ecx: &mut MiriEvalContext<'mir, 'tcx>,
rwlock_op: &OpTy<'tcx, Provenance>,
id: impl Into<ScalarMaybeUninit<Provenance>>
) -> InterpResult<'tcx, ()>fn rwlock_set_id<'mir, 'tcx: 'mir>(
ecx: &mut MiriEvalContext<'mir, 'tcx>,
rwlock_op: &OpTy<'tcx, Provenance>,
id: impl Into<ScalarMaybeUninit<Provenance>>
) -> InterpResult<'tcx, ()>