{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
    // We assert that [0, 2**32 - 1] uniquely map through this function to individual, consecutive
    //
    // slots (see `slot_index_exhaustive` in tests).