{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"VerifyBound::IsEmpty"}]}
            VerifyBound::IsEmpty => match min.kind() {
                ty::ReVar(rid) => match var_values.values[rid] {