@@ -90,9 +90,9 @@ fn main() {
9090 // Compress the LEAF array by overlapping chunks at half-chunk boundaries.
9191 //
9292 // If chunk i's back half equals chunk j's front half, placing them
93- // adjacently saves 32 bytes. We find the maximum number of such overlaps
94- // by modeling this as a bipartite matching problem (left side = back
95- // halves, right side = front halves) and solving with Kuhn's algorithm.
93+ // adjacently saves 32 bytes. We find the maximum number of such overlaps by
94+ // modeling this as a bipartite matching problem (left side = back halves,
95+ // right side = front halves) and solving with Kuhn's algorithm.
9696
9797 let num_chunks = dense. len ( ) ;
9898
@@ -128,7 +128,8 @@ fn main() {
128128 let mut prev_of: Vec < Option < usize > > = vec ! [ None ; num_chunks] ;
129129
130130 // DFS for an augmenting path from `src`. If found, augments the matching
131- // in-place (rehoming existing matches to preserve validity) and returns true.
131+ // in-place (rehoming existing matches to preserve validity) and returns
132+ // true.
132133 fn try_kuhn (
133134 src : usize ,
134135 adj_list : & [ Vec < usize > ] ,
@@ -148,8 +149,8 @@ fn main() {
148149 false
149150 }
150151
151- // Try every left vertex. A failed attempt stays failed because later
152- // rounds only shrink the set of free right vertices (Berge's theorem).
152+ // Try every left vertex. A failed attempt stays failed because later rounds
153+ // only shrink the set of free right vertices (Berge's theorem).
153154 for i in 0 ..num_chunks {
154155 let mut visited = vec ! [ false ; num_chunks] ;
155156 try_kuhn ( i, & adj_list, & mut visited, & mut prev_of) ;
@@ -163,9 +164,9 @@ fn main() {
163164 }
164165 }
165166
166- // Chunk 0 (all zeros) is special and must be laid out first at halfdense position 0,
167- // because the runtime defaults to index 0 for codepoints beyond the trie.
168- // Remove any incoming edge so chunk 0 becomes a chain start.
167+ // Chunk 0 (all zeros) is special and must be laid out first at halfdense
168+ // position 0, because the runtime defaults to index 0 for codepoints beyond
169+ // the trie. Remove any incoming edge so chunk 0 becomes a chain start.
169170 if let Some ( prev) = prev_of[ 0 ] {
170171 next_of[ prev] = None ;
171172 prev_of[ 0 ] = None ;
@@ -196,9 +197,9 @@ fn main() {
196197 }
197198 }
198199
199- // Each chunk can be both a predecessor (back half) and a successor
200- // (front half), so next_of can form cycles with no chain start.
201- // We broke chunk 0's cycle above; verify no others exist.
200+ // Each chunk can be both a predecessor (back half) and a successor (front
201+ // half), so next_of can form cycles with no chain start. We broke chunk 0's
202+ // cycle above; verify no others exist.
202203 assert_eq ! (
203204 dense_to_halfdense. len( ) ,
204205 num_chunks,
0 commit comments