{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"span,"}]}
                    span, param.name,
                self.next_region_var(RegionVariableOrigin::RegionParameterDefinition(
                ))