W1023
W1023 — Spawn on Topology::Current (no-op)
No example yet
No fixture in the test suite asserts this code, so there is no program here that is known to trigger it. That is a gap in our coverage rather than a statement about the code.
Contributing one is a good first change — add a fixture under tests/ with a CHECK line naming W1023, and this page picks it up.
Related
A tour of VxThe chapter covering the rule this code enforces.
All diagnosticsEvery code the compiler can emit, grouped by stage.
W1022Transfer to same memory space (no-op)
W1024Implicit cross-topology transfer inserted via a
Relocatable impl (a real data movement happens silently at the use site; write the transfer explicitly to silence). Relocatable answers "may this value move implicitly?" and is keyed on a user type. That is a different question from "what code moves bytes across this hardware edge?", which is impl Transfer<Memory::A, Memory::B> for Topology::X. Both were called Transfer before Vx#353.