{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"Some(("}]}
            Some((
            let var = ty::BoundVar::from_usize(idx);
                ty::LateParamRegionKind::from_bound(var, impl_bv),