{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":".push(origin.span());"}]}
                                .push(origin.span());
                                .or_default()
                            if let infer::region_constraints::GenericKind::Param(_) = a {