{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
                    let len = match try_const_usize(this.db, len) {
                chalk_ir::TyKind::Array(inner, len) => {
                        Some(it) => it as usize,