{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"))],"}]}
        ))],
            ty::BoundRegion { var: ty::BoundVar::from_u32(1), kind: ty::BoundRegionKind::Anon },
    );