{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"RegionNameHighlight::CannotMatchHirTy(arg_span,"}]}
                    RegionNameHighlight::CannotMatchHirTy(arg_span, arg_name?),
                source: RegionNameSource::AnonRegionFromArgument(
                ),