{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":");"}]}
                );
                    ty::EarlyParamRegion { index: region_b_param.index, name: region_b_param.name },
                // The predicate we expect to see.