{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"ty::Param(data)"}]}
                        ty::Param(data) => Some(Parameter(data.index)),
                    match icx.lower_ty(predicate.bounded_ty).kind() {
                        _ => None,