{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
                // It is possible that this is absent. In this case, we make no progress.
                .map(|impl_def| impl_def.skip_binder())
                .ok_or(expr)?