{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"&&"}]}
                                && captured_def_id == opaque_def_id.to_def_id()
                                ) = *ty.kind()
                            {