{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"RegionVariableOrigin::RegionParameterDefinition(span,"}]}
                RegionVariableOrigin::RegionParameterDefinition(span, def.name)
            RegionInferReason::Param(def) => {
            }