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