{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
        // `max` is the last valid discriminant before the largest niche
        // `min` is the first valid discriminant after the largest niche