{"ast_node_type":"impl","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
                    // Attempt to *shallowly* search for an impl which matches,
                None => {
                    // but has nested obligations which are unsatisfied.