{"ast_node_type":"variable","tokens":[{"end":99,"kind":"keyword","start":0,"text":"let"}]}
                        let add_bound = match (proj_term.kind(), assoc_pred.kind().skip_binder()) {
                        // then we can emit a suggestion to add the bound.
                            (