{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
        let (suitable_region_binding_scope, region_def_id) = loop {
    ) -> Option<FreeRegionInfo> {
            let def_id =