{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
                        // so it can be used as discriminant in jagged enums
                        // And put the largest niche in an alignment group at the end
                        optimizing.sort_by_key(|&x| {