{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"self.fail("}]}
                    self.fail(
                if cond_ty != self.tcx.types.bool {
                        location,