{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"bar['min:"}]}
                bar['min: invariant, 'max: invariant]
                foo['min: invariant, 'max: invariant]
            "#]],