{"ast_node_type":"impl","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
            // Only report unsatisfied impl predicates if there's one impl
        let [impl_def_id] = relevant_impls[..] else {
            return None;