{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"}"}]}
                        } else {
                            (FlatSet::Elem(val), FlatSet::Elem(overflow))
                            (FlatSet::Elem(val.to_scalar()), FlatSet::Bottom)