{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"(TyOrConstInferVar::Ty(ty_var),"}]}
            (TyOrConstInferVar::Ty(ty_var), Ok(inner)) => {
        move |infer_var: TyOrConstInferVar| match (infer_var, &inner) {
                use self::type_variable::TypeVariableValue;