{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"TyOrConstInferVar::Ty(v)"}]}
            TyOrConstInferVar::Ty(v) => {
        match infer_var {
                use self::type_variable::TypeVariableValue;