{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"{"}]}
        {
            && let ty::BoundVariableKind::Region(trait_bv) = trait_bv
            let var = ty::BoundVar::from_usize(idx);