{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"trace!(\"found"}]}
            trace!("found unsatisfiable predicates");
        if predicates.references_error() || traits::impossible_predicates(tcx, predicates) {
            // Clear the body to only contain a single `unreachable` statement.