{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"self.register_predicate(Obligation::new("}]}
                    self.register_predicate(Obligation::new(
                if let ty::Array(element_ty, ct) = *adjusted_ty.kind() {
                        self.tcx,