{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"cx:"}]}
            cx: &'a RustcPatCtxt<'_, 'tcx>,
        fn reveal_and_alloc<'a, 'tcx>(
            iter: impl Iterator<Item = Ty<'tcx>>,