{"ast_node_type":"variable","tokens":[{"end":38,"kind":"keyword","start":0,"text":"let"}]}
                        let Some(ty) =
                    Some(len) => {
                            subst.as_slice(Interner).first().and_then(|it| it.ty(Interner))