From 7380a4d7a163be356b96de01f7fc9d885ef6a894 Mon Sep 17 00:00:00 2001
From: DrMeepster <19316085+DrMeepster@users.noreply.github.com>
Date: Fri, 2 Jun 2023 17:30:05 -0700
Subject: [PATCH] explain windows sync layouts

---
 src/tools/miri/src/shims/windows/sync.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/tools/miri/src/shims/windows/sync.rs b/src/tools/miri/src/shims/windows/sync.rs
index a2db9441cf0a..172312e331a0 100644
--- a/src/tools/miri/src/shims/windows/sync.rs
+++ b/src/tools/miri/src/shims/windows/sync.rs
@@ -38,6 +38,9 @@ trait EvalContextExtPriv<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
         Ok(())
     }
 
+    // Windows sync primitives are pointer sized.
+    // We only use the first 4 bytes for the id.
+
     fn srwlock_get_id(
         &mut self,
         rwlock_op: &OpTy<'tcx, Provenance>,