{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"//"}]}
            // We don't have the index, so we can only guess.
        let Some(impl_predicate_index) = obligation.impl_def_predicate_index else {
            return Err(expr);