internal/runtime/maps — validation proof
Go’s own internal/runtime/maps test suite, converted to C# by go2cs, built against the converted standard
library, run under the Go-semantics test host, and compared verdict for verdict against a clean
go test -json baseline of the same sources. This page is generated by the converter from that
comparison — it is the evidence behind the internal/runtime/maps row in
Validated Test Packages.
Validated 2026-10-25 · converter b5fc1294d
19 matched · 108 disclosed — Go 1.26.10, windows/amd64, converted package
src/core/internal/runtime/maps.
Measured at Release (tiered JIT off), oracle go version go1.26.10 windows/amd64.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAlignUpPow2 |
pass | pass |
TestCtrlSize |
pass | pass |
TestEncodeDecode |
pass | pass |
TestMapDelete |
pass | fail (disclosed) |
TestMapDeleteClear |
pass | fail (disclosed) |
TestMapIndirect |
pass | fail (disclosed) |
TestMapPut |
pass | fail (disclosed) |
TestMapSplit |
pass | fail (disclosed) |
TestMapZeroSizeSlot |
pass | fail (disclosed) |
TestTableClear |
pass | fail (disclosed) |
TestTableGroupCount |
pass | fail (disclosed) |
TestTableGroupCount/makemap |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=-1 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=-1/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=-1073741824 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=-1073741824/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=0 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=0/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=1 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=1/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=12 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=12/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=14 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=14/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=15 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=15/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=24 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=24/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=29 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=29/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=8 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=8/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=9 |
pass | fail (disclosed) |
TestTableGroupCount/makemap/n=9/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=-1 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=-1/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=-1073741824 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=-1073741824/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=0 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=0/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=1 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=1/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=12 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=12/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=14 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=14/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=15 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=15/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=24 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=24/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=29 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=29/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=8 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=8/escape |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=9 |
pass | fail (disclosed) |
TestTableGroupCount/makemap64/n=9/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=-1 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=-1/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=-1073741824 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=-1073741824/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=0 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=0/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=1 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=1/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=12 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=12/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=14 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=14/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=15 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=15/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=24 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=24/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=29 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=29/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=8 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=8/escape |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=9 |
pass | fail (disclosed) |
TestTableGroupCount/mapliteral/n=9/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=-1 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=-1/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=-1073741824 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=-1073741824/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=0 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=0/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=1 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=1/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=12 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=12/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=14 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=14/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=15 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=15/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=24 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=24/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=29 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=29/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=8 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=8/escape |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=9 |
pass | fail (disclosed) |
TestTableGroupCount/nohint/n=9/escape |
pass | fail (disclosed) |
TestTableIteration |
pass | fail (disclosed) |
TestTableIterationDelete |
pass | fail (disclosed) |
TestTableIterationGrowDelete |
pass | fail (disclosed) |
TestTableIterationGrowDuplicate |
pass | fail (disclosed) |
TestTableIterationGrowDuplicate/grow |
pass | fail (disclosed) |
TestTableIterationGrowDuplicate/split |
pass | fail (disclosed) |
TestTableKeyUpdate |
pass | fail (disclosed) |
TestTablePutDelete |
pass | fail (disclosed) |
TestTombstoneGrow |
pass | pass |
TestTombstoneGrow/tableSize=128/elems=112/load=0.875 |
pass | pass |
TestTombstoneGrow/tableSize=128/elems=14/load=0.109 |
pass | pass |
TestTombstoneGrow/tableSize=128/elems=56/load=0.438 |
pass | pass |
TestTombstoneGrow/tableSize=16/elems=1/load=0.062 |
pass | pass |
TestTombstoneGrow/tableSize=16/elems=14/load=0.875 |
pass | pass |
TestTombstoneGrow/tableSize=16/elems=7/load=0.438 |
pass | pass |
TestTombstoneGrow/tableSize=256/elems=112/load=0.438 |
pass | pass |
TestTombstoneGrow/tableSize=256/elems=224/load=0.875 |
pass | pass |
TestTombstoneGrow/tableSize=256/elems=28/load=0.109 |
pass | pass |
TestTombstoneGrow/tableSize=32/elems=14/load=0.438 |
pass | pass |
TestTombstoneGrow/tableSize=32/elems=28/load=0.875 |
pass | pass |
TestTombstoneGrow/tableSize=32/elems=3/load=0.094 |
pass | pass |
TestTombstoneGrow/tableSize=64/elems=28/load=0.438 |
pass | pass |
TestTombstoneGrow/tableSize=64/elems=56/load=0.875 |
pass | pass |
TestTombstoneGrow/tableSize=64/elems=7/load=0.109 |
pass | pass |
Disclosed divergences
A disclosed divergence is a specific Go assertion the managed CLR provably cannot satisfy — not
a skipped test and not a tolerance. Each one is pinned by exact failure signature in the package’s
hand-owned go2cs_test_disclosures.json;
a disclosed test that fails any other way is still a hard mismatch.
| Test | Class | Pinned reason |
|---|---|---|
TestMapDelete |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestMapDeleteClear |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestMapIndirect |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestMapPut |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestMapSplit |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestMapZeroSizeSlot |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestTableClear |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestTableGroupCount |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=-1 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=-1/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap/n=-1073741824 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=-1073741824/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap/n=0 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=0/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap/n=1 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=1/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap/n=12 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=12/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap/n=14 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=14/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap/n=15 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=15/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap/n=24 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=24/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap/n=29 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=29/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap/n=8 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=8/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap/n=9 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap/n=9/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=-1 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=-1/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64/n=-1073741824 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=-1073741824/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64/n=0 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=0/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64/n=1 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=1/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64/n=12 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=12/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64/n=14 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=14/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64/n=15 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=15/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64/n=24 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=24/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64/n=29 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=29/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64/n=8 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=8/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/makemap64/n=9 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/makemap64/n=9/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=-1 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=-1/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral/n=-1073741824 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=-1073741824/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral/n=0 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=0/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral/n=1 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=1/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral/n=12 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=12/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral/n=14 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=14/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral/n=15 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=15/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral/n=24 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=24/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral/n=29 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=29/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral/n=8 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=8/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/mapliteral/n=9 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/mapliteral/n=9/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=-1 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=-1/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint/n=-1073741824 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=-1073741824/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint/n=0 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=0/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint/n=1 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=1/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint/n=12 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=12/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint/n=14 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=14/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint/n=15 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=15/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint/n=24 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=24/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint/n=29 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=29/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint/n=8 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=8/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableGroupCount/nohint/n=9 |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableGroupCount/nohint/n=9/escape |
runtime-capability |
TestTableGroupCount reads a Go map VALUE as its runtime header – map_swiss_test.go testMap does mm := *(**maps.Map)(unsafe.Pointer(&m)), emitted Reinterpret<map<nint, nint>, ж<Map>>() (map_swiss_test.cs:157) – and then asks that header for TableCount and GroupCount. A Go map value IS a pointer to the runtime maps.Map the swiss table lives in; golib map<K,V> is a managed dictionary with NO maps.Map behind it, by construction, so there is no header to reinterpret and no table or group count to report. The address route hands out a native box over the map box’s order token, and its first dereference refuses by name – the signature text – rather than read a Go-layout offset into CLR-laid-out storage. No managed implementation can meet this assertion without replacing golib map with the runtime swiss table; the rest of the package runs the real internal/runtime/maps tables directly and validates. Pinned on the 44 leaves, each of which carries the refusal text; their 49 ancestors (the parent, its 4 constructor groups, 44 n= cases) have no failure output of their own and are covered through their disclosed leaves, 93 verdicts in all. |
TestTableIteration |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestTableIterationDelete |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestTableIterationGrowDelete |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestTableIterationGrowDuplicate |
aggregate |
no failure text of its own — the roll-up of this test’s disclosed subtests |
TestTableIterationGrowDuplicate/grow |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestTableIterationGrowDuplicate/split |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestTableKeyUpdate |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
TestTablePutDelete |
runtime-capability |
The test builds a real swiss table through NewMap and drives it, and the table lives in raw Go-layout group memory – allocated, copied and cleared by the push block runtime supplies to this package (runtime/malloc.go maps_newobject and maps_newarray, runtime/mbarrier.go maps_typedmemmove and maps_typedmemclr), addressed by the descriptor GroupSize, SlotSize and ElemOff offsets. The managed model has no such memory: golib map<K,V> is a dictionary with no swiss table behind it, and the abi MapType projection reports those offsets as an honest zero. Each of the four refuses by name in this package’s runtime_impl.cs, the internal/abi FuncPCABI0 shape, so the row fails with the signature text rather than as a missing implementation. No managed implementation can meet this assertion without a managed group store, which would be a new design. internal/runtime/maps IS the raw-memory swiss table; the tests that remain live are its managed surface. |
Excluded declarations
Declarations filtered from both sides of the comparison, and therefore not claimed above:
Benchmark, Fuzz and Example declarations the converted host does not execute, plus any
test requiring a capability the managed runtime does not provide — a testing member the host
has not implemented, or a platform behavior it provably cannot reproduce. Each is named with
the capability it needs.
- FuzzTable (fuzz): fuzz execution is deferred to Phase 4D