{"ast_node_type":"variable","tokens":[{"end":50,"kind":"keyword","start":0,"text":"let"}]}
                    let (var_predicate, binders) =
                    let predicate = predicate.substitute(Interner, &placeholders);
                        predicate.substitute(Interner, &var_subst).into_value_and_skipped_binders();