{"ast_node_type":"variable","tokens":[{"end":57,"kind":"keyword","start":0,"text":"let"}]}
                let binders = binders.as_slice(Interner);
            if let TyKind::BoundVar(bv) = ty.kind(Interner) {
                if bv.debruijn == DebruijnIndex::INNERMOST {